Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_G=C3=B6del=27s_actual_proof_and_deriving_all_of_the?=
 =?UTF-8?Q?_digits_of_the_actual_G=C3=B6del_numbers?=
Date: Mon, 28 Oct 2024 20:17:45 -0500
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <vfpd3p$18cnp$1@dont-email.me>
References: <ves6p1$2uoln$1@dont-email.me> <vf1stu$8h0v$1@dont-email.me>
 <592109c757262c48aaca517a829ea1867913316b@i2pn2.org>
 <vf37qt$fbb3$1@dont-email.me> <vf5430$sjvj$1@dont-email.me>
 <vf5mat$v6n5$4@dont-email.me> <vf7jbl$1cr7h$1@dont-email.me>
 <vf8b8p$1gkf5$3@dont-email.me> <vfa8iu$1ulea$1@dont-email.me>
 <vfassk$21k64$4@dont-email.me> <vfdjc7$2lcba$1@dont-email.me>
 <vfdlij$2ll17$1@dont-email.me> <vffj9k$33eod$1@dont-email.me>
 <vfg6j4$36im7$1@dont-email.me>
 <dcc4d67737371dbac58b18d718b2d3b6613f1b24@i2pn2.org>
 <vfh3vp$3bkkv$1@dont-email.me>
 <040cd8511c02a898516db227faa75dbc5f74a097@i2pn2.org>
 <vfh8ad$3cdsr$1@dont-email.me>
 <17cad36a46956f00484737183121e8a2c9e742ef@i2pn2.org>
 <vfish6$3ner2$8@dont-email.me> <vfkvk2$8h64$1@dont-email.me>
 <vflio2$fj8s$3@dont-email.me> <vfnicm$to2h$1@dont-email.me>
 <vfo5l8$10s4m$1@dont-email.me>
 <16660b4a608849fb60806904e37def1999b19789@i2pn2.org>
 <vfpav0$1837o$1@dont-email.me> <vfpct2$18ala$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 29 Oct 2024 02:17:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="393123f3287a9aeded778d1158c0bfd1";
	logging-data="1323769"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX193zV6/4huzr3lSIUANjwKJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:T17Ks/waiLGzcepLJF68OUPoGxI=
X-Antivirus: Norton (VPS 241028-6, 10/28/2024), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <vfpct2$18ala$1@dont-email.me>
Bytes: 2950

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; Genius
hits a target no one else can see." Arthur Schopenhauer