Path: ...!eternal-september.org!feeder2.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: The philosophy of logic reformulates existing ideas on a new
 basis --- infallibly correct
Date: Sun, 10 Nov 2024 20:39:42 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <5b139a59da876d152416698f9a3da421af577560@i2pn2.org>
References: <vfli1h$fj8s$1@dont-email.me> <vgnsho$3qq7s$2@dont-email.me>
	<vgo157$n00$1@news.muc.de> <vgo4ia$3sfle$1@dont-email.me>
	<vgo7ri$30iv$1@news.muc.de> <vgo89i$3t6n8$1@dont-email.me>
	<vgoand$2464$1@news.muc.de> <vgobg7$3tnrn$2@dont-email.me>
	<vgodcf$kll$1@news.muc.de> <vgoed9$3ucjr$1@dont-email.me>
	<vgoi51$kll$2@news.muc.de> <vgojp1$3v611$1@dont-email.me>
	<vgol50$kll$3@news.muc.de> <vgom8r$3vue8$1@dont-email.me>
	<vgonlv$kll$4@news.muc.de> <vgoqv6$qht$2@dont-email.me>
	<vgq0dv$1trm$1@news.muc.de> <vgqifj$e0q0$2@dont-email.me>
	<e3866f9771ef87549806453ea06529aed40c6789@i2pn2.org>
	<vgr3qg$hf6i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Nov 2024 20:39:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1801463"; 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: 2529
Lines: 20

Am Sun, 10 Nov 2024 14:07:44 -0600 schrieb olcott:
> On 11/10/2024 1:13 PM, Richard Damon wrote:
>> On 11/10/24 10:11 AM, olcott wrote:
>>> On 11/10/2024 4:03 AM, Alan Mackenzie wrote:
>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>> On 11/9/2024 4:28 PM, Alan Mackenzie wrote:
>>>>>> olcott <polcott333@gmail.com> wrote:
>>>>>>> On 11/9/2024 3:45 PM, Alan Mackenzie wrote:

>> Sorry, but until you actually and formally fully define your logic
>> system, you can't start using it.
> When C is a necessary consequence of the Haskell Curry elementary
> theorems of L (Thus stipulated to be true in L) then and only then is C
> is True in L.
> This simple change does get rid of incompleteness because Incomplete(L)
> is superseded and replaced by Incorrect(L,x).
I still can’t see how this makes ~C provable.

-- 
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.