2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3
 
 Re: Континуум-гипотеза: как понять?
Сообщение12.10.2022, 21:05 


22/10/20
1131
mihaild в сообщении #1566594 писал(а):
Чтобы сказать "мы доказали существование множества", нужно чтобы эта строчка была собственно доказательством существования.
Да, это понятно. Разумеется, "Мы определили" $\ne$ "мы доказали существование множества".

Я подумал на счет формального метода и подобрал более удачную формулировку. Я не противник формального метода. И он мне не то, чтобы не нравится. Я против того, чтобы относится к нему, как к основанию математики. Так будет более точно.

 Профиль  
                  
 
 Re: Континуум-гипотеза: как понять?
Сообщение12.10.2022, 21:13 
Заслуженный участник


02/08/11
6909
EminentVictorians в сообщении #1566592 писал(а):
Мне казалось, что для него это было бы обычным, нормально определенным множеством.
Только до тех пор, пока это не приводило к противоречию. Но он понимал, что не всё есть множество. Так, известно, что он знал, что предположение о существовании множества всех ординалов приводит к противоречию и, следовательно, такое множество не существует. А обычным нормально определённым множеством это было для Фреге (если я его не путаю ни с кем) — он попытался сопоставить множество любому предикату, ну и выяснил, что такая наивная аксиоматизация не работает.

 Профиль  
                  
 
 Re: Континуум-гипотеза: как понять?
Сообщение12.10.2022, 22:04 
Заслуженный участник
Аватара пользователя


03/06/08
2215
МО
warlock66613 в сообщении #1566597 писал(а):
выяснил, что такая наивная аксиоматизация не работает

..из письма Рассела

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

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



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

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


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

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