Re: Gödel's actual proof and deriving all of the digits of the actual Gödel numbers

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