ODP: Odifreddi: Godel's proof of the existence of God

[Łukasz Stępień]

On Mon, 14 Nov 2022, Yu Li wrote among others:

> The proof of Gödel's Incompleteness Theorem has been challenged since
> its publication, which is compiled by John W. Dawson Jr. in his article
>  «  The reception of Gödel's Incompleteness Theorems » ([1], p74-95): [...]

   As I understand, Yu Li has mentioned Gödel's First Incompleteness Theorem. This was actually proved by Gödel. I think that this is worth to mention that Gödel never proved the theorem known today as "Gödel's Second Incompleteness Theorem" - he only announced this Theorem as a hypothesis and he promissed to prove it, but he never did it. The first proof of this Theorem was published in Hilbert and Bernays' monograph "Grudnlagen der Mathematik" in 1939 (for e.g.: R. Murawski, "Recursive Functions and Metamathematics", Springer Science+Business Media Dordrecht 1999).

                                                                                                 Best regards
                                                                                              Łukasz T. Stępień

  PS. Referring to the issue of provability consistency of Arithmetic System, I invite to visit my website ltstepien.up.krakow.pl .


[Uniwersytet Pedagogiczny]<http://up.krakow.pl>
[https://files.up.krakow.pl/wizytowka/images_online/kreska.png]
Łukasz T. Stępień
Uniwersytet Pedagogiczny
im. Komisji Edukacji Narodowej w Krakowie
ul. Podchorążych 2, 30-084 Kraków
[https://files.up.krakow.pl/wizytowka/images_online/koperta.png]        lukasz.stepien at up.krakow.pl<mailto:lukasz.stepien at up.krakow.pl>
[https://files.up.krakow.pl/wizytowka/images_online/telefon.png]        +48 12 662 7854<tel:+48126627854>    <tel:>
[https://files.up.krakow.pl/wizytowka/images_online/ekran.png]  ltstepien.up.krakow.pl<http://www.ltstepien.up.krakow.pl>

________________________________



________________________________
Informujemy, że Administratorem Danych Osobowych przetwarzanych w związku z prowadzoną korespondencją jest Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Adres: ul. Podchorążych 2, 30-084 Kraków, e-mail: info at up.krakow.pl. Kontakt do Inspektora Ochrony Danych: iod at up.krakow.pl. Szczegółowe informacje są dostępne na stronie: www.up.krakow.pl.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20221115/d692f993/attachment-0001.html>