2014 dxdy logo

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

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


Правила форума


Дополнение к основным правилам форума:
Любые попытки доказательства сначала должны быть явно выписаны для случая n=3



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Доказательство Уайлса
Сообщение22.09.2021, 17:53 
Заслуженный участник
Аватара пользователя


23/07/05
17789
Москва
zykov в сообщении #1532287 писал(а):
Но по сути математическое доказательство - это логическая связь между двумя объектами. Обычно между набором аксиом/предположений и целевым утверждением. Всё это в рамках выбранной логики.
Это в формализованной теории. Подавляющая часть математики не формализована, хотя практически всё, в принципе, может быть формализовано в ZFC (или в NBG). Математический анализ и основанные на нём области математики точно можно формализовать. В том числе и доказательство Уайлса.

 Профиль  
                  
 
 Re: Доказательство Уайлса
Сообщение14.01.2022, 21:09 
Заслуженный участник


13/12/05
4217
zykov в сообщении #1532287 писал(а):
Некоторые ошибочно полагают, что математическое доказательство отражает что-то реальное (например какие-нибудь идеалы Платона).

Конечно теорема Ферма объективно верна (теперь мы знаем), независимо от того, какими средствами она была доказана. И она отражает реальный (объективный, не зависящий ни от какого сознания, ни от какого набора аксиом и т.д.) факт о натуральных числах.

 Профиль  
                  
 
 Re: Доказательство Уайлса
Сообщение15.01.2022, 08:59 


16/04/18
933
В книге Прасолова по возможности понятно излагаются основные шаги доказательства.

 Профиль  
                  
 
 Re: Доказательство Уайлса
Сообщение15.01.2022, 11:02 
Заслуженный участник
Аватара пользователя


03/06/08
1490
МО

(Оффтоп)

Правда, вера в то, что при формализации математики не "всплывет" еще какая-то аксиома, это именно вера.
Тот факт, что прямая, которая пересекает сторону треугольника, пересекает еще одну его сторону, все использовали тысячи лет, а сформулировали явно совсем недавно.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group