Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mmonline.ru/forum/read/7/18782/
Дата изменения: Sat Feb 19 21:36:02 2011
Дата индексирования: Sat Feb 19 21:36:02 2011
Кодировка: Windows-1251
Может ли кто-нибудь прояснить картину с доказательством Великой (последней) тероемы Ферма? С одной стороны много шума об "окончательном" доказательстве англичан и американцев, а с другой стороны - впервые опубликованное в 1979 году и до сих пор не опровергнутое доказательство невозможности доказать или опровергнуть утверждение теоремы, принадлежащее нашему выдающемуся логику Александру Зиновьеву?
По-моему, где-то туманно, но ясно пояснили, что была отловлена бага в док-ве англичанина. Уже после его первого триумфа... Да конечно ее нельзя д-ть. Иначе-б доказали уже...
Teoremu Ferma dokazal A. Wiles (Princeton, USA). V proshlom uchebnom godu Panchishkin chital lekcii na mexmat'e po etomu povodu. Pro 'vydayushegosya' logika Zinovieva slyshu pervyi raz.