В «Доказательствах и опровержениях» Имре Лакатос, мыслитель, оказавший значительное влияние на философию и историю науки XX века, разбирает доказательства знаменитой теоремы Эйлера о многогранниках и получающихся при этом парадоксах.
В работе «Фальсификация и методология научно-исследовательских программ» (1970) он выступает одним из наиболее глубоких и последовательных критиков концепции смены парадигм Т.Куна и противопоставляет этому свою методологию научно-исследовательских программ, ставшую одной из лучших моделей философии науки.
