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

Liste des GroupesRevenir à c theory 
Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 13. Nov 2024, 11:45:53
Autres entêtes
Organisation : -
Message-ID : <vh2011$25mt3$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
User-Agent : Unison/2.2
On 2024-11-12 23:17:20 +0000, olcott said:

On 11/10/2024 2:36 PM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 11/10/2024 1:04 PM, Alan Mackenzie wrote:
 [ .... ]
 
I have addressed your point perfectly well.  Gödel's theorem is correct,
therefore you are wrong.  What part of that don't you understand?
 
YOU FAIL TO SHOW THE DETAILS OF HOW THIS DOES
NOT GET RID OF INCOMPLETENESS.
 The details are unimportant.  Gödel's theorem is correct.  Your ideas
contradict that theorem.  Therefore your ideas are incorrect.  Again, the
precise details are unimportant, and you wouldn't understand them
anyway.  Your ideas are as coherent as 2 + 2 = 5.
 
 Incomplete(L) ≡  ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x))
That's correct (although T is usually used instead of L).
Per this definition the first order group theory and the first order
Peano arithmetic are incomplete.

When the above foundational definition ceases to exist then
Gödel's proof cannot prove incompleteness.
I doesn't cease to exist.
--
Mikko

Date Sujet#  Auteur
10 Nov 24 * Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct54Alan Mackenzie
10 Nov 24 `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct53olcott
10 Nov 24  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct52Alan Mackenzie
10 Nov 24   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct51olcott
10 Nov 24    `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct50Alan Mackenzie
10 Nov 24     +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8olcott
10 Nov 24     i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct7Alan Mackenzie
11 Nov 24     i +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
12 Nov 24     i i`- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Alan Mackenzie
11 Nov 24     i `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct4olcott
11 Nov 24     i  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct3Richard Damon
11 Nov 24     i   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
11 Nov 24     i    `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
13 Nov 24     `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct41olcott
13 Nov 24      +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
13 Nov 24      +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct3joes
13 Nov 24      i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
14 Nov 24      i `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
13 Nov 24      +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct23Mikko
14 Nov 24      i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct22olcott
14 Nov 24      i +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
14 Nov 24      i `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct20Mikko
15 Nov 24      i  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct19olcott
15 Nov 24      i   +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct9Richard Damon
15 Nov 24      i   i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8olcott
15 Nov 24      i   i `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct7Richard Damon
15 Nov 24      i   i  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct6olcott
15 Nov 24      i   i   +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
15 Nov 24      i   i   +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1joes
15 Nov 24      i   i   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct3Richard Damon
16 Nov 24      i   i    `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
16 Nov 24      i   i     `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
15 Nov 24      i   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct9Mikko
16 Nov 24      i    `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8olcott
16 Nov 24      i     +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
16 Nov 24      i     `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct6Mikko
16 Nov 24      i      `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct5olcott
16 Nov 24      i       +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct3Richard Damon
16 Nov 24      i       i`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2olcott
16 Nov 24      i       i `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
17 Nov 24      i       `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
13 Nov 24      `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct13Alan Mackenzie
13 Nov 24       +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct11olcott
13 Nov 24       i+* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct7joes
13 Nov 24       ii`* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct6olcott
14 Nov 24       ii `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct5Richard Damon
14 Nov 24       ii  `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct4Mikko
15 Nov 24       ii   `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct3olcott
15 Nov 24       ii    +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
15 Nov 24       ii    `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
13 Nov 24       i+* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct2Alan Mackenzie
13 Nov 24       ii`- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1olcott
14 Nov 24       i`- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
14 Nov 24       `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal