Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= <agisaak@gm.invalid>
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 19:14:10 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 20
Message-ID: <vfpct2$18ala$1@dont-email.me>
References: <ves6p1$2uoln$1@dont-email.me>
 <dedb2801cc230a4cf689802934c4b841ae1a29eb@i2pn2.org>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 29 Oct 2024 02:14:11 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f07150649fd1de52d2c720018a473bda";
	logging-data="1321642"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19d/GnY8gZA+whdzzJB1w6s"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5PU9UFgngdsf/pgIXvidliTQa6I=
In-Reply-To: <vfpav0$1837o$1@dont-email.me>
Content-Language: en-US
Bytes: 2753

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é

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.