Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет зачем ты умер, иван ([info]dmitri83)
Re: Раз уж зашёл, обозначу присутствие
Я неточно выразился. Как выяснилось чуть выше, просто поверить в непротиворечивость недостаточно, например, способ построения модели с помощью теоремы Лёвенгейма-Сколема, про который говорит [info]kouzdra, не позволяет получить конкретного описания модели. Может какие-то другие способы есть, но про них неизвестно. Выше же в разговоре, насколько я понял, речь шла об описании модели настолько конкретном, чтобы можно было запихнуть его в компьютер.

И кстати, конструктивный универсум тоже является сомнительным кандидатом на такое описание (это ещё при том, что надо принять существование больших кардиналов): как мы будем итерировать на компьютере конструкцию L_\kappa до какого-то недостижимого кардинала, не очень понятно.

Резюмируя: максимум, с чем мы можем работать на компьютере, это с формулами и доказательствами в рамках ZFC, но не с моделями.

а независимость L=V от ZFC кажется, доказана

Не понял, причём тут независимость L=V от ZFC?



(Читать комментарии)

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.