>А Вы на главной странице пишете, что её нельзя ни доказать, ни
>опровергнуть. И Гёделя приплели для красного словца...

Азъ. Вполне возможно, что на момент написания части материалов, выложенных впоследствии на этом сайте, теорема ещё не была доказана. К тому же не факт, что доказательство, на которое вы ссылаетесь, правильное. В СМИ на эту тему вроде бы ничего конкретного не сообщалось. Одна из моих голов - наверное, самая умная :)) - как-то копалась в архиве ВИНИТИ. Так вот, я нашло там сразу три разных доказательства теоремы Ферма - на каждое десятилетие по одному доказательству. Проверить их правильность, увы, не смогло - не птичьего ума это дело.

Буки. Посадить сообщение Романа, да ещё и вот эту ссылочку:
http://modular.fas.harvard.edu/edu/Fall2001/124/lectures/lecture32/lecture32/node1.html
в tof, полагаю, было бы очень полезно, дабы СВ - сия добродушная и, в общем-то, полезная для людей и птиц, не лишённых чувства юмора, шутка - надёжно осталась в рамках шутки :))

Веди. Xtati, вопрос к знатокам: а теорема Гёделя действительно каким-то образом соотносится с теоремой Ферма или нет? На вид вроде да, но когда я поковырялось в интернете на эту тему, мне показалось, что вопрос этот вовсе не такой уж прозрачный. Для меня, увы, всё это тёмный лес, а дронты в лесах не водятся.