CPT : Что Вы думаете по поводу Гёделевского доказательства существования Бога?
CPT : Что Вы думаете по поводу Гёделевского доказательства существования Бога?
Embedded Files
JYB: Доказательства существования Бога имеют длинную историю, начиная с Ансельма Кентерберийского в XI веке. Онтологическое доказательство Гёделя очень интересно. Из него можно вывести доказательства непротиворечивости теории множеств и арифметики, что каким-то образом противоречит теореме Гёделя о второй неполноте. Это было показано Пьерджорджо Одифредди в его докладе на З-м Всемирном конгрессе по логике и религии 3rd World Congress on Logic and Religion который мы организовали в ноябре 2022 года в Варанаси, Индия (знаменитом центре как индуизма, так и буддизма).
JYB: Доказательства существования Бога имеют длинную историю, начиная с Ансельма Кентерберийского в XI веке. Онтологическое доказательство Гёделя очень интересно. Из него можно вывести доказательства непротиворечивости теории множеств и арифметики, что каким-то образом противоречит теореме Гёделя о второй неполноте. Это было показано Пьерджорджо Одифредди в его докладе на З-м Всемирном конгрессе по логике и религии 3rd World Congress on Logic and Religion который мы организовали в ноябре 2022 года в Варанаси, Индия (знаменитом центре как индуизма, так и буддизма).
Это может показаться странным, но результат неполноты не является абсолютным. Вскоре после доказательства Гёделя Герхард Гентцен (Gerhard Gentzen) представил относительное доказательство согласованности арифметики. А Гентцен был одним из любимых логиков Гёделя. Гёдель подробно изучил его работы и, основываясь на этом, доказал свой последний важный результат в математической логике - доказательство непротиворечивости арифметики, известное как “Dialectica proof". Название происходит от журнала «Диалектика», опубликовавшего статью Гёделя в специальном выпуске 1958 года, посвященном швейцарскому логику Паулю Бернайсу (Paul Bernays) в честь его 70-летия (Пауль Бернайс был главным соавтором Давида Гильберта (David Hilbert) в области логики).
Это может показаться странным, но результат неполноты не является абсолютным. Вскоре после доказательства Гёделя Герхард Гентцен (Gerhard Gentzen) представил относительное доказательство согласованности арифметики. А Гентцен был одним из любимых логиков Гёделя. Гёдель подробно изучил его работы и, основываясь на этом, доказал свой последний важный результат в математической логике - доказательство непротиворечивости арифметики, известное как “Dialectica proof". Название происходит от журнала «Диалектика», опубликовавшего статью Гёделя в специальном выпуске 1958 года, посвященном швейцарскому логику Паулю Бернайсу (Paul Bernays) в честь его 70-летия (Пауль Бернайс был главным соавтором Давида Гильберта (David Hilbert) в области логики).
И, что забавно, Кристоф Бенцмюллер (Chistoph Benzmueller) и Дов Габбай (Dov Gabbay) показали, что взаимодействие с компьютерной техникой не только позволяет формально оценить онтологические аргументы, но и полезно для углубления концептуального понимания соответствующих понятий и концепций. Это исследование было представлена на 2-м Всемирном конгрессе по логике и религии (2nd World Congress on Logic and Religion) в Варшаве (Польша) в 2017 году. В этом конгрессе также приняли участие Сол Крипке (Saul Kripke) (Премия Шока), Лоран Лафорг (Laurent Lafforgue) (Медаль Филдса), Михал Хеллер (Michał Heller) (Премия Темплтона).
И, что забавно, Кристоф Бенцмюллер (Chistoph Benzmueller) и Дов Габбай (Dov Gabbay) показали, что взаимодействие с компьютерной техникой не только позволяет формально оценить онтологические аргументы, но и полезно для углубления концептуального понимания соответствующих понятий и концепций. Это исследование было представлена на 2-м Всемирном конгрессе по логике и религии (2nd World Congress on Logic and Religion) в Варшаве (Польша) в 2017 году. В этом конгрессе также приняли участие Сол Крипке (Saul Kripke) (Премия Шока), Лоран Лафорг (Laurent Lafforgue) (Медаль Филдса), Михал Хеллер (Michał Heller) (Премия Темплтона).
Page updated
Google Sites
Report abuse