ラカトシュ・イムレ
ラカトシュは1922年、ハンガリーのデブレツェンのユダヤ人の家庭にリプシツ・イムレ(Lipsitz Imre)という名で生まれた。イムレは1944年にデブレツェン大学で数学、物理学、哲学で学位をとった。彼はナチスのユダヤ人に対する迫害を避けて名前をモルナール・イムレ（Molnár Imre）と改めた。イムレの母も祖母もアウシュヴィッツで亡くなった。彼は第二次世界大戦中に共産主義者になった。彼はラカトシュ・ゲーザに敬意を表して姓を「ラカトシュ(ロックスミス)」にした。
ラカトシュ・イムレ
1963年から1964年にかけて初めて「British Journal for the Philosophy of Science」が出版されたことで、「証明と論駁」は後続する数学の哲学の作品に影響を与えたが、ラカトシュの形式的証明に対する強い非難に賛成する者はほとんどいなかった。彼は生前、数学の哲学の領域に戻って自身のリサーチプログラムの理論を適用することを計画していた。ラカトシュ、ウォーラル、そしてエリ・ザハル(Elie Zahar)はアンリ・ポアンカレの1893年の論文 を利用して、批判者たちが気づいた大きな問題の一つ、「証明と反駁」で描写された数学的研究の様式は、ほとんどの場合現代の数学者の実際の活動に忠実には表れないということに対して回答している。