Английский философ венгерского происхождения. Окончил Дебреценский университет (1944). Учился в МГУ (1949), ученик С. А. Яновской. Преподавал в Кембридже, а также в Лондонской школе экономики (с 1960). Основные труды в области истории и методологии математики. Одним из первых предложил описание математических знаний, основанное на идее эвристики. По его мнению, мысленный эксперимент является верным способом построить новые математические гипотезы и получить доказательства. Автор трудов: «Доказательства и опровержения» (1967), «Бесконечный регресс и основания математики» (1994).
Авторские труды
Лакатос И. Доказательства и опровержения. — 1967Лакатос И. Доказательства и опровержения : как доказываются теоремы / Акад. наук СССР ; пер. с англ. И. Н. Веселовского ; [отв. ред. И. Б. Погребысский]. — М. : Наука, 1967. — 152 с. — Библиогр. с. 146—151.