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