2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 
Сообщение06.11.2005, 14:44 
Аватара пользователя
Вот этот кусок:
http://rapidshare.de/files/7258546/zino ... .djvu.html (109 KB)

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

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


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

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

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

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

 
 
 
 
Сообщение02.12.2005, 16:46 
Аватара пользователя
:evil:
vecrabul писал(а):
набор аксиом арифметики не полный, а с этим вряд ли кто согласится.

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

 
 
 
 
Сообщение02.12.2005, 20:19 
Аватара пользователя
незванный гость писал(а):
:evil:
vecrabul писал(а):
набор аксиом арифметики не полный, а с этим вряд ли кто согласится.

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


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

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group