Sujet : Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 29. Oct 2024, 02:17:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vfpd3p$18cnp$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
On 10/28/2024 8:14 PM, André G. Isaak wrote:
On 2024-10-28 18:41, olcott wrote:
On 10/28/2024 6:56 PM, Richard Damon wrote:
Which isn't enough to encode it into a Godel number, as you need to go back an assign every axioms, and the definition of every term of that statement back to those axioms.
>
>
I knew that yet his full paper is no longer available online.
It took 3 seconds on Google to find a copy of his paper online
<https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20– %20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf>
André
Thanks.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…