Великая теорема Ферма. О полезности и бесполезности математических утверждений.

Теорема Ферма была сформулирована в 1637 году и оказалась настоящим проклятием для математиков нескольких поколений вплоть до 1995 года, когда ее таки доказали. Многие ученые за нее даже не брались, считая ее доказательство бесполезной тратой времени. Тем не менее три с половиной века математики шаг за шагом приближались к ее доказательству. И в итоге удалось доказать нечто большее, чем теорема Ферма. Это гипотеза Таниямы-Шимуры. А сама великая теорема оказалась лишь небольшим частным следствием.