Path: ...!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: Sat, 26 Oct 2024 07:39:32 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <vfinu4$3ner2$1@dont-email.me>
References: <ves6p1$2uoln$1@dont-email.me>
 <87634d01e18903c744d109aaca3a20b9ce4278bb@i2pn2.org>
 <vev8gg$3me0u$1@dont-email.me>
 <eb38c4aff9c8bc250c49892461ac25bfccfe303f@i2pn2.org>
 <vf051u$3rr97$1@dont-email.me>
 <e3f28689429722f86224d0d736115e4d1895299b@i2pn2.org>
 <vf1hun$39e3$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>
 <338c1bde7c8462e11372f2c4b52f8daaba086272@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 14:39:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f00999e9e0e5447cf99e873d021c7ec9";
	logging-data="3914594"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+HEGpaby5mKTwzQZ5LIXXt"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KE+3cKHrqBbg7LGXCXSzqECX8mc=
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 241026-2, 10/26/2024), Outbound message
In-Reply-To: <338c1bde7c8462e11372f2c4b52f8daaba086272@i2pn2.org>
Bytes: 3741

On 10/26/2024 4:20 AM, joes wrote:
> Am Fri, 25 Oct 2024 18:06:53 -0500 schrieb olcott:
>> On 10/25/2024 5:17 PM, Richard Damon wrote:
>>> On 10/25/24 5:52 PM, olcott wrote:
>>>> On 10/25/2024 10:52 AM, Richard Damon wrote:
>>>>> On 10/25/24 9:31 AM, olcott wrote:
>>>>>> On 10/25/2024 3:01 AM, Mikko wrote:
>>>>>>> On 2024-10-24 14:28:35 +0000, olcott said:
>>>>>>>> On 10/24/2024 8:51 AM, Mikko wrote:
> 
>>>>>> The power operator can be built from repeated operations of the
>>>>>> multiply operator. Will a terabyte be enough to store the Gödel
>>>>>> numbers?
>>>>> Likely depends on how big of a system you are making F.
>>>> I am proposing actually doing Gödel's actual proof and deriving all of
>>>> the digits of the actual Gödel numbers.
>>> Then try it and see.
>>> You do understand that the first step is to fully enumerate all the
>>> axioms of the system, and any proofs used to generate the needed
>>> properties of the mathematics that he uses.
>> Gödel seems to propose that his numbers are actual integers, are you
>> saying otherwise?
> No, how do you get that?
> You should have a look at Russell and Whitehead's work before you
> waste the rest of your life.
> 

I am asking to see these numbers and getting double talk.
If they are less than 1.0 GB each then this is possible.
When ask to see these numbers then each concrete step in
deriving them must also be included in compete detail.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer