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

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.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.