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