CPT : Co z dowodem Gödela na istnienie Boga?

JYB:    Dowody istnienia Boga mają długą historię, poczynając od Anzelma z Canterbury w XI wieku. Dowód ontologiczny Gödela jest bardzo interesujący. Na tej podstawie można wywnioskować dowody spójności teorii mnogości i arytmetyki, co w jakiś sposób jest sprzeczne z drugim twierdzeniem Gödla o niekompletności. Wykazał to Piergiorgio Odifreddi, który wygłosił referat  na  Trzecim  Światowym Kongresie Logiki i Religii, który zorganizowaliśmy w Varanasi, w Indiach (miasto znane zarówno z hinduizmu, jak i buddyzmu) w listopadzie 2022 r..

Ten wynik może wydawać się dziwny, ale wynik niekompletności nie jest absolutny. Krótko po dowodzie Gödela, Gerhard Gentzen przedstawił względny dowód spójności arytmetyki. A Gentzen był jednym z ulubionych logików Gödla; szczegółowo studiował jego prace. Na tej podstawie Gödel udowodnił swój ostatni ważny wynik w logice matematycznej, dowód na spójność arytmetyki, znany jako dowód z czasopisma “Dialectica”, ponieważ został opublikowany w 1958 r. w specjalnym numerze szwajcarskiego czasopisma Dialectica na cześć 70. urodzin szwajcarskiego logika Paula Bernaysa (głównego współpracownika Davida Hilberta w dziedzinie logiki).

I, co zabawne,   Chistoph Benzmueller i   Dov Gabbay wykazali, że interakcja z technologią komputerową nie tylko umożliwia formalną ocenę argumentów ontologicznych, ale jest również przydatna do wyostrzenia koncepcyjnego zrozumienia pojęć i koncepcji. Praca ta została zaprezentowana na Drugim Światowym Kongresie Logiki i Religii w Warszawie w 2017 roku. W tym kongresie uczestniczyli także Saul Kripke (Nagroda Schlocka), Laurent Lafforgue (Medal Fieldsa), Michał Heller (Nagroda Templetona).