| |||
|
|
Re: Раз уж зашёл, обозначу присутствие Я неточно выразился. Как выяснилось чуть выше, просто поверить в непротиворечивость недостаточно, например, способ построения модели с помощью теоремы Лёвенгейма-Сколема, про который говорит kouzdra, не позволяет получить конкретного описания модели. Может какие-то другие способы есть, но про них неизвестно. Выше же в разговоре, насколько я понял, речь шла об описании модели настолько конкретном, чтобы можно было запихнуть его в компьютер. И кстати, конструктивный универсум тоже является сомнительным кандидатом на такое описание (это ещё при том, что надо принять существование больших кардиналов): как мы будем итерировать на компьютере конструкцию L_\kappa до какого-то недостижимого кардинала, не очень понятно. Резюмируя: максимум, с чем мы можем работать на компьютере, это с формулами и доказательствами в рамках ZFC, но не с моделями. а независимость L=V от ZFC кажется, доказана Не понял, причём тут независимость L=V от ZFC? Добавить комментарий: |
||||