ラカトシュ・イムレ
1956年11月にソ連がハンガリーを侵略したのち、ラカトシュはウィーンに逃げ、後にはイングランドに到達した。1961年にはケンブリッジ大学から哲学の博士号を授与された。彼の没後に出版された「数学的発見の論理―証明と論駁(Proofs and Refutations: The Logic of Mathematical Discovery)」はこの時期の研究に基づいている。
ラカトシュは終生イギリス市民権を得ることはなかった。 1960年にロンドン・スクール・オブ・エコノミクス(以下、LSE)の研究員となり、そこで数学の哲学と科学哲学に関して著述した。当時のLSEの哲学部門にはカール・ポパー、ヨセフ・アガシ、ジョン・ワトキンスらがいた。ラカトシュのケンブリッジ大学での博士論文で数学に対して推測と反駁の可謬主義的方法論を適用するという題目のもとにラカトシュをポパーに紹介したのはアガシである。
ラカトシュは共同編集者のアラン・マスグレイヴとともに「批判と知識の成長」、つまり1965年にロンドンで開かれた科学哲学の国際会議の「議事録」の編集責任者となった。それは1970年に出版されたのだが、この1965年の会議ではよく知られた人々がトーマス・クーンの「科学革命の構造」に対する論文を配った。
彼は1974年に脳内出血によりたった51歳で急死するまでLSEに留まった。彼を記録してラカトシュ賞が制定された。
これは、論理及び証明と反駁の過程を通じて人類の知識が積み上げてきたやむことのない行状である。 (しかしながら数学のある分野で公理が与えられた場合に関して、その公理からの証明はトートロジー、つまり論理的に正しいとラカトシュは主張している。)
ラカトシュは、数学的知識は全体としてヒューリスティクスという考えに基づくと提言している。「証明と論駁」では「ヒューリスティック」という概念はあまり展開されていないが、ラカトシュは推論の証明や反駁を見つけるためのいくつかの基本的な法則を与えている。彼は数学での思考実験は推論や証明を発見するための正当な方法だと考え、自身の哲学を「疑似-経験主義」と呼んだ。
しかしながら、彼は数学者の社会をどの数学的証明が妥当でどの数学的証明がそうでないかを決める弁証法の議論と見なしてもいた。そのため、フレーゲやラッセルの論理主義において優勢な、証明を簡素で「形式的」に妥当な術語によって定義する、証明の形式主義の構想には根本的に賛成できなかった。
1963年から1964年にかけて初めて「British Journal for the Philosophy of Science」が出版されたことで、「証明と論駁」は後続する数学の哲学の作品に影響を与えたが、ラカトシュの形式的証明に対する強い非難に賛成する者はほとんどいなかった。彼は生前、数学の哲学の領域に戻って自身のリサーチプログラムの理論を適用することを計画していた。ラカトシュ、ウォーラル、そしてエリ・ザハル(Elie Zahar)はアンリ・ポアンカレの1893年の論文 を利用して、批判者たちが気づいた大きな問題の一つ、「証明と反駁」で描写された数学的研究の様式は、ほとんどの場合現代の数学者の実際の活動に忠実には表れないということに対して回答している。