Цитата:
|
Сообщение от Spetsnaz
Да мне вот тоже кажется, что Ферма её не доказал. Придумать придумал, а доказать не сумел, но видать признаться в этом ему не хватило духа, так как придумал историю про поля в книжке.
Кстати, её, вроде, сейчас доказать можно, но на это уходит 30 страниц текста и половина разделов математики придуманных в последние 20 лет.
|
Гораздо больше чем 20 лет  Теорема доказана как частный случай гипотезы Танияма в конце 20-го века. Т.е. доказана была (в 95-ом) гипотеза Таниямы (японец такой ), а еще в 86 было доказано, что Большая Теорема Ферма - это ее частный случай, т.е. доказав гипотезу Таниямы автоматически доказываем теорему Ферма А вот гипотеза Таниямы возникла еще аж в середине 20-го века. Но там все замешано на еще на куче других теорем и доказательств начиная с самого Эйлера, жившего в 18-ом веке. Т.е. практически теорему доказывали 360 лет используя все знания наработанные за этот срок, отсюда и сомнения, что Ферма в 17-ом веке мог доказать то, что в итоге удалось доказать лишь в 20-ом используя все знания наработанные за эти 3,5 века. Правда я сомневаюсь что он наврал, что доказал - скорей всего он доказал, но неверно (с ошибкой) и не заметил этой своей ошибки. Ведь потом тысячи математиков повторили то же самое - казалось было доказали, но в итоге всегда находилась ошибка в доказательстве. Даже в том доказательстве которое сейчас существует и подтверждено первоначально была обнаружена ошибка (хотя доказавший это математик несколько лет проверял доказательство прежде чем опубликовать), но потом тот же математик что ее допустил сумел ее исправить через пару лет и доказать все точно без ошибок. |
