2014 dxdy logo

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

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


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


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



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


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

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

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



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

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


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

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