2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: противоречивость ZFC, последствия
Сообщение14.03.2006, 23:00 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
er писал(а):
Тут
Вопрос про обобщённые функции!
ZFC is inconsistent.
прозвучала идея, что ZFC противоречива. Доказательство как то связано с существованием счетных моделей ZF. Пусть даже это не так, но, кажется, может случится. Cчетные моделей ZF важны для форсинга. Кстати, сравнительно недавно мне объясняли, что вроде бы этих счетных моделей как бы и нет, но пользоватся ими можно - это я не очень понял..

0. Насколько можно пользоватся комбинаторными утверждениями из теории множеств.
Ультрафильтры, лемма о $\Delta$ корне и т.п.
1. Что тогда с методом форсинга и результатами, получеными с помощью него.
2. Большие кардиналы (например, измеримые по Уламу). Каков их статус.
3. Утверждения типа proper forcing axiom (PFA). Насколько можно пользоватся следствиями из них. Кажется, PFA вытекает из существования какого то большого кардинала..

Из логики пришел подозрительный метод доказательства ZFC утверждений, основаный на элементарных подмоделях (elementary submodels). Чаще всего такие доказательства можно переписать в нормальной манере, но иногда это не получается. Пока что интуиция отказывается принимать такие доказательства за вполне корректные. :) Если ZFC не верна и порок в манипуляциях с моделями ZF, то что делать с такими доказательствами?


:evil: Эта тема временно переезжает в тему Квантор Существования.

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

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



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

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


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

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