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