anonymous@RULINUX.NET~# | Last login: 2024-11-02 23:31:16 |
Регистрация Вход | Новости | Разметка | Пользователи | Галерея | Форум | Статьи | Неподтвержденное | Трекер | Правила форума | F.A.Q. | Ссылки | Поиск |
Форум - Talks | [RSS] |
Т.е. такие корректно сформулированные на языке lambda-calculus утверждения, которые нельзя не доказать, не опровергнуть. Собственно, Гёдель когда-то показал, что в арифметике такие утверждения существуют, а есть ли что-то похожее в lambda-calculus?
anonymous(*) (2010-05-26 13:15:00)
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.11) Gecko/20050905
|
|
|
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?Ну, для арифметики простого примера (т.е. такого, который был бы понятен человеку, для которого Гёделева теорема - это новость) нет, но если интересно, то можно почитать вот здесь - http://fregimus.livejournal.com/80970.html. Там для одной простой формальной системы (гораздо более простой, чем арифметика) демонстрируется, что геделевы утверждения существуют. Вообщем-то Гёдель исторически шёл примерно по тому же пути - от простого к сложному (арифметике). |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?Если коротко, то да существуют. Более подробно здесь: http://hotfile.com/dl/23643943/7413cdd/MetamathematicsMachines.rar.html anonymous(*)(2010-05-26 13:51:24)
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.3) Gecko/20100423 Ubuntu/10.04 (lucid) Firefox/3.6.3 |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?> Ну, для арифметики простого примера (т.е. такого, который был бы понятен человеку, для которого Гёделева теорема - это новость) нет
anonymous(*)(2010-05-26 13:57:20)
Mozilla/5.0 (X11; U; Linux i686; ru-ru) AppleWebKit/531.2+ (KHTML, like Gecko) Safari/531.2+ Epiphany/2.30.2 |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?Сформировавшиеся личности - это (для начала) те, которые сами уже могут себе попу подтирать (и по линкам ходить) без помощи взрослых. Один линк я уже дал. |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?> Один линк я уже дал.
> Там для одной простой формальной системы (гораздо более простой, чем арифметика) anonymous(*)(2010-05-26 14:36:43)
Mozilla/5.0 (X11; U; Linux i686; ru-ru) AppleWebKit/531.2+ (KHTML, like Gecko) Safari/531.2+ Epiphany/2.30.2 |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?> а уже достаточно сформировавшиеся личности из 2-го "б" с собственным мнением по многим вопросам.
vilfred(*)(2010-05-27 01:57:24)
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.1) Gecko/2008072807 ASPLinux/3.0.1-1.0.140asp Firefox/3.0.1 |
Скрыть
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?> но если интересно, то можно почитать вот здесь - http://fregimus.livejournal.com/80970.html. Там для одной простой формальной системы (гораздо более простой, чем арифметика) демонстрируется, что геделевы утверждения существуют
vilfred(*)(2010-05-27 02:04:02)
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.1) Gecko/2008072807 ASPLinux/3.0.1-1.0.140asp Firefox/3.0.1 |
|
|
|
Этот тред читают 3 пользователя: |
Анонимных: 3 Зарегистрированных: 0 |
Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения?
> Собственно, Гёдель когда-то показал, что в арифметике такие утверждения существуют
А пример?
Mozilla/5.0 (X11; U; Linux i686; ru-ru) AppleWebKit/531.2+ (KHTML, like Gecko) Safari/531.2+ Epiphany/2.30.2