ラカトシュ・イムレ
ラカトシュは1922年、ハンガリーのデブレツェンのユダヤ人の家庭にリプシツ・イムレ(Lipsitz Imre)という名で生まれた。イムレは1944年にデブレツェン大学で数学、物理学、哲学で学位をとった。彼はナチスのユダヤ人に対する迫害を避けて名前をモルナール・イムレ（Molnár Imre）と改めた。イムレの母も祖母もアウシュヴィッツで亡くなった。彼は第二次世界大戦中に共産主義者になった。彼はラカトシュ・ゲーザに敬意を表して姓を「ラカトシュ(ロックスミス)」にした。
ラカトシュ・イムレ
ラカトシュが立証しようとしたことは、非形式的数学のいかなる定理も決定的でも完璧でもないということである。これはつまり、一つも反例の見つかっていない定理ですら究極的真理ではありえないということである。ひとたび反例、つまりその定理と矛盾するその定理で証明できない存在が見つかると、定理は修正され、ことによってはその有効範囲が広がる。これは、論理及び証明と反駁の過程を通じて人類の知識が積み上げてきたやむことのない行状である。