ラカトシュ・イムレ
ラカトシュ・イムレ（Lakatos Imre、1922年11月9日 - 1974年2月2日）は、ハンガリーの数学哲学者、科学哲学者。数学の可謬性と、数学の発展の前公理的段階における「証明と論駁の方法論」についての論文で知られる。彼の科学の研究計画における概念である「リサーチプログラム」の概念を紹介したことでも有名。
ラカトシュ・イムレ
1976年に出版された「証明と論駁」は4章からなるがそのうち前3章を1961年に書かれた博士論文「数学的発見の論理に関する論考(Essays in the logic of mathematical discovery)」に基づいている。しかし第1章は「British Journal for the Philosophy of Science」に掲載された際の「証明と論駁」からラカトシュ自身によって修正が加えられている。それは主として数学の授業として設定された架空の対話から始まっている。そこに登場する生徒たちは位相幾何学のオイラーの多面体定理を証明しようとしている。オイラーの多面体定理とは多面体の性質に関する定理で、具体的にはどんな多面体であってもその頂点の個数Vから辺の本数Eを引き、面の枚数Fを足すと2になる(V-E+F=2)というものである。この対話は数学者たちが歴史的に推論に対して提供しようとし(たが繰り返し反例によって論駁されてき)た証明の実際の流れを示すという目論見のもとに書かれた。しばしば生徒たちはラカトシュの広範な補足説明で言及されているコーシーのような有名な数学者に言い換える。