Теорема Ферма

[Логик]

Утверждение Великой теоремы Ферма в общем случае невозможно ни доказать, ни опровергнуть. Доказательство этого было предствлено А.А. Зиновьевым более 20 лет назад. Современная публикация есть в книге А.Зиновьев Очерки комплексной логики Эдиториал УРСС М. 2000.

[dm]

Вот этот кусок:
http://rapidshare.de/files/7258546/zino ... .djvu.html (109 KB)

Целиком книгу можно найти через poiskknig или купить у URSS.

[Someone]

Логик писал(а):

Утверждение Великой теоремы Ферма в общем случае невозможно ни доказать, ни опровергнуть. Доказательство этого было предствлено А.А. Зиновьевым более 20 лет назад. Современная публикация есть в книге А.Зиновьев Очерки комплексной логики Эдиториал УРСС М. 2000.

По крайней мере одно из двух следующих утверждений неверно:

1. Теорема Ферма доказана.
2. Теорему Ферма нельзя ни доказать, ни опровергнуть.

[Shwedka]

Гн. зиновьев доказал свое утверждение о независимости ВТФ в рамках своей 'комплексной' логики'. эта логика- серьезное ограничениое традиционной.
Если разрешить только спички перекладывать, то и теорема Пифагора независимой станет.

[vecrabul]

Теорема Ферма - уравнение в целых числах с четырьмя неизвестными,
а людям свойственно "запутаться в трех соснах". Это сложная но обычная задача из арифметики. Если мы признаем, что доказательство
в пределах арифметики (в целых числах невозможно), то из этого вытекает логический вывод - набор аксиом арифметики не полный, а с этим вряд ли кто согласится.
Дед.Россия. Ростов на Дону.

[незваный гость]

vecrabul писал(а):

набор аксиом арифметики не полный, а с этим вряд ли кто согласится.

С этим многие согласятся. Это - следствие теоремы Геделя о неполноте.

[Someone]

незванный гость писал(а):

:evil:

vecrabul писал(а):

набор аксиом арифметики не полный, а с этим вряд ли кто согласится.

С этим многие согласятся. Это - следствие теоремы Геделя о неполноте.

Более того, в "Справочной книге по математической логике" (Часть IV. Теория доказательств и конструктивная математика. Москва, "Наука", 1983. Глава 8.) приведён пример конкретного математически содержательного утверждения, недоказуемого в арифметике Пеано, но доказуемого в теории множеств. Утверждение относится к конечной комбинаторике.