rulinux.net - Форум - Talks - [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? http://rulinux.net/ rulinux.net - Форум - Talks - [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? http://rulinux.net/ http://rulinux.net/rss_icon.png Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50538 https://rulinux.net/message.php?newsid=7193&page=1#50538 Wed, 26 May 2010 22:04:02 +0400 > но если интересно, то можно почитать вот здесь -  http://fregimus.livejournal.com/80970.html. Там для одной простой формальной системы (гораздо более простой, чем арифметика) демонстрируется, что геделевы утверждения существуют
попробовал почитать но сходу не очень сильно въехал, наверное потому что ночь

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50537 https://rulinux.net/message.php?newsid=7193&page=1#50537 Wed, 26 May 2010 21:57:24 +0400 > а уже достаточно сформировавшиеся личности из 2-го "б" с собственным мнением по многим вопросам.
представляю что тут начнется, когда у народа из 2-го "б" начнется в 7-м "б" переходный период

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50536 https://rulinux.net/message.php?newsid=7193&page=1#50536 Wed, 26 May 2010 10:36:43 +0400 > Один линк я уже дал.
Я прошу пример именно с арифметикой. По ссылке, по твоему собственному утверждению:

> Там для одной простой формальной системы (гораздо более простой, чем арифметика)


]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50535 https://rulinux.net/message.php?newsid=7193&page=1#50535 Wed, 26 May 2010 10:15:24 +0400 Сформировавшиеся личности - это (для начала) те, которые сами уже могут себе попу подтирать (и по линкам ходить) без помощи взрослых. Один линк я уже дал.

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50534 https://rulinux.net/message.php?newsid=7193&page=1#50534 Wed, 26 May 2010 09:57:20 +0400 > Ну, для арифметики простого примера (т.е. такого, который был бы понятен человеку, для которого Гёделева теорема - это новость) нет
Давай сложный пример. Чай тут не первоклашки трутся, а уже достаточно сформировавшиеся личности из 2-го "б" с собственным мнением по многим вопросам.

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50533 https://rulinux.net/message.php?newsid=7193&page=1#50533 Wed, 26 May 2010 09:51:24 +0400 Если коротко, то да существуют. Более подробно здесь:  http://hotfile.com/dl/23643943/7413cdd/MetamathematicsMachines.rar.html

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50532 https://rulinux.net/message.php?newsid=7193&page=1#50532 Wed, 26 May 2010 09:44:31 +0400 Ну, для арифметики простого примера (т.е. такого, который был бы понятен человеку, для которого Гёделева теорема - это новость) нет, но если интересно, то можно почитать вот здесь -  http://fregimus.livejournal.com/80970.html. Там для одной простой формальной системы (гораздо более простой, чем арифметика) демонстрируется, что геделевы утверждения существуют. Вообщем-то Гёдель исторически шёл примерно по тому же пути - от простого к сложному (арифметике).

]]> Re: [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50531 https://rulinux.net/message.php?newsid=7193&page=1#50531 Wed, 26 May 2010 09:31:07 +0400 > Собственно, Гёдель когда-то показал, что в арифметике такие утверждения существуют
А пример?

]]> [личный ликбез] А существуют ли в лямбда исчислении гёделевы утверждения? https://rulinux.net/message.php?newsid=7193&page=1#50530 https://rulinux.net/message.php?newsid=7193&page=1#50530 Wed, 26 May 2010 09:15:00 +0400 Т.е. такие корректно сформулированные на языке lambda-calculus утверждения, которые нельзя не доказать, не опровергнуть. Собственно, Гёдель когда-то показал, что в арифметике такие утверждения существуют, а есть ли что-то похожее в lambda-calculus?

]]>