Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct

Liste des GroupesRevenir à s logic 
Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory sci.logic
Date : 10. Nov 2024, 21:39:42
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <5b139a59da876d152416698f9a3da421af577560@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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.

Date Sujet#  Auteur
16 Oct 24 * A different perspective on undecidability70olcott
16 Oct 24 `* Re: A different perspective on undecidability69Mikko
16 Oct 24  +* Re: A different perspective on undecidability5olcott
16 Oct 24  i+* Re: A different perspective on undecidability3olcott
17 Oct 24  ii+- Re: A different perspective on undecidability1Richard Damon
21 Oct 24  ii`- Re: A different perspective on undecidability1Mikko
21 Oct 24  i`- Re: A different perspective on undecidability1Mikko
16 Oct 24  +* Re: A different perspective on undecidability10olcott
17 Oct 24  i+* Re: A different perspective on undecidability8Richard Damon
17 Oct 24  ii+* Re: A different perspective on undecidability2olcott
17 Oct 24  iii`- Re: A different perspective on undecidability1Richard Damon
17 Oct 24  ii`* Re: A different perspective on undecidability5olcott
19 Oct 24  ii `* Re: A different perspective on undecidability4Richard Damon
19 Oct 24  ii  `* Re: A different perspective on undecidability3olcott
19 Oct 24  ii   +- Re: A different perspective on undecidability1Richard Damon
21 Oct 24  ii   `- Re: A different perspective on undecidability1Mikko
21 Oct 24  i`- Re: A different perspective on undecidability1Mikko
22 Oct 24  `* Re: A different perspective on undecidability --- incorrect question53olcott
22 Oct 24   +* Re: A different perspective on undecidability --- incorrect question9Richard Damon
22 Oct 24   i`* Re: A different perspective on undecidability --- incorrect question8olcott
22 Oct 24   i `* Re: A different perspective on undecidability --- incorrect question7Richard Damon
22 Oct 24   i  `* Re: A different perspective on undecidability --- incorrect question6olcott
23 Oct 24   i   `* Re: A different perspective on undecidability --- incorrect question5Richard Damon
23 Oct 24   i    `* Re: A different perspective on undecidability --- incorrect question --- PROGRESS4olcott
24 Oct 24   i     `* Re: A different perspective on undecidability --- incorrect question --- PROGRESS3Richard Damon
24 Oct 24   i      `* Re: A different perspective on undecidability --- incorrect question --- PROGRESS2olcott
25 Oct 24   i       `- Re: A different perspective on undecidability --- incorrect question --- PROGRESS1Richard Damon
22 Oct 24   `* Re: A different perspective on undecidability --- incorrect question43Mikko
22 Oct 24    `* Re: A different perspective on undecidability --- incorrect question42olcott
24 Oct 24     `* Re: A different perspective on undecidability --- incorrect question41Mikko
24 Oct 24      `* Re: A different perspective on undecidability --- incorrect question40olcott
25 Oct 24       +- Re: A different perspective on undecidability --- incorrect question1Richard Damon
25 Oct 24       `* Re: A different perspective on undecidability --- incorrect question38Mikko
25 Oct 24        `* Re: A different perspective on undecidability --- incorrect question37olcott
25 Oct 24         +- Re: A different perspective on undecidability --- incorrect question1Richard Damon
26 Oct 24         `* Re: A different perspective on undecidability --- incorrect question35Mikko
26 Oct 24          `* Re: A different perspective on undecidability --- incorrect question34olcott
26 Oct 24           +* Re: A different perspective on undecidability --- incorrect question29Richard Damon
26 Oct 24           i`* Re: A different perspective on undecidability --- incorrect question28olcott
27 Oct 24           i `* Re: A different perspective on undecidability --- incorrect question27Richard Damon
27 Oct 24           i  `* Re: A different perspective on undecidability --- incorrect question26olcott
27 Oct 24           i   `* Re: A different perspective on undecidability --- incorrect question25Richard Damon
27 Oct 24           i    `* The philosophy of computation reformulates existing ideas on a new basis ---24olcott
27 Oct 24           i     +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
6 Nov 24           i     +* Re: The philosophy of logic reformulates existing ideas on a new basis ---8olcott
7 Nov 24           i     i+* Re: The philosophy of logic reformulates existing ideas on a new basis ---4olcott
8 Nov 24           i     ii`* This philosophy of logic reformulates existing ideas on a new basis ---3olcott
8 Nov 24           i     ii +- Re: This philosophy of logic reformulates existing ideas on a new basis ---1wij
8 Nov 24           i     ii `- Re: This philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
7 Nov 24           i     i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---3Richard Damon
8 Nov 24           i     i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2olcott
8 Nov 24           i     i  `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
10 Nov 24           i     `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct14olcott
10 Nov 24           i      `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct13olcott
10 Nov 24           i       `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct12Richard Damon
10 Nov 24           i        `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct11olcott
10 Nov 24           i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct9joes
10 Nov 24           i         i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8olcott
11 Nov 24           i         i `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct7Richard Damon
13 Nov 24           i         i  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct6olcott
13 Nov 24           i         i   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct5Richard Damon
13 Nov 24           i         i    +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
14 Nov 24           i         i    i`- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
13 Nov 24           i         i    `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
14 Nov 24           i         i     `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
10 Nov 24           i         `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
27 Oct 24           `* Re: A different perspective on undecidability --- incorrect question4Mikko
27 Oct 24            `* Re: A different perspective on undecidability --- incorrect question3olcott
27 Oct 24             +- Re: A different perspective on undecidability --- incorrect question1Richard Damon
28 Oct 24             `- Re: A different perspective on undecidability --- incorrect question1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal