Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: =?iso-8859-1?Q?G=F6del's?= actual proof and deriving all of the
 digits of the actual =?iso-8859-1?B?R/ZkZWw=?= numbers
Date: Sat, 26 Oct 2024 09:20:38 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <338c1bde7c8462e11372f2c4b52f8daaba086272@i2pn2.org>
References: <ves6p1$2uoln$1@dont-email.me> <veuvt9$3hnjq$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 09:20:38 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3726958"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3175
Lines: 27

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.