Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure

Liste des GroupesRevenir à theory 
Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theory
Date : 09. Jul 2024, 01:07:43
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <7387a77d06e4b00a1c27a447e2744a4f10b25e49@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 7/8/24 8:00 PM, olcott wrote:
On 7/7/2024 10:09 PM, olcott wrote:
On 7/7/2024 10:02 PM, olcott wrote:
>
Formal logic is a subset of this.
Not-a-logic-sentence(PA,g) ≡ (~True(PA,g) ∧ ~True(PA,~g))
There are no truth preserving operations in PA to g or to ~g
>
>
https://liarparadox.org/Tarski_275_276.pdf
>
Within my analytical framework this Tarski sentence is merely
self-contradictory
>
(3) x ∉ Provable if and only if x ∈ True. // (1) and (2) combined
>
There are no truth preserving operations in Tarski's
theory to x if and only if There are truth preserving
operations in Tarski's theory to x
>
 There cannot possibly be an infinite proof that proves
that there is no finite proof of Tarski x in Tarski's theory
Who says there needs to be a infinite proof, since there is no such thing.
As I said, one example of such an x is Godel's G.

 The infinite proof of the Goldbach conjecture
(if it is true) continues to find more true
cases than it had before, thus makes progress
towards its never ending goal (if its true).
or, it continue to show that there is no counter examples.
"Progress" on an infinite path isn't really measurable.

 The cycles in the following two cases never make any progress
towards any goal they are merely stuck in infinite loops.
Which just means you are on the wrong path. One wrong path doesn't me that there is no path.

 The Prolog unify_with_occurs_check test means that
LP is stuck in an infinite loop that makes no progress
towards resolution. I invented Minimal Type Theory to
see this, then I noticed that Prolog does the same thing.
Which is irrelevent, since Prolog can't handle the basics of the field that Traski assumes.

 ?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
 LP := ~(L ⊢ LP)
00 ~ 01
01 ⊢ 01, 00
02 L
 The cycle in the direct graph of LP is
an infinite loop that make no progress
towards the goal of evaluating LP as
true or false.
 
So?
Failure to prove by example doesn't show something isn't true.
You are just proving you are stupid and don't know what you are talking about.

Date Sujet#  Auteur
8 Jul 24 * Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure83Richard Damon
8 Jul 24 `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure82olcott
8 Jul 24  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure81Richard Damon
8 Jul 24   `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure80olcott
8 Jul 24    `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure79olcott
8 Jul 24     +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure7Richard Damon
8 Jul 24     i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure6olcott
8 Jul 24     i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure5Richard Damon
8 Jul 24     i  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure4olcott
9 Jul 24     i   `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure3Richard Damon
9 Jul 24     i    `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure2olcott
9 Jul 24     i     `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure1Richard Damon
9 Jul 24     `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure71olcott
9 Jul 24      `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure70Richard Damon
9 Jul 24       `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure69olcott
9 Jul 24        `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure68Richard Damon
9 Jul 24         +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself6olcott
9 Jul 24         i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself5Richard Damon
9 Jul 24         i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself4olcott
9 Jul 24         i  `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott lies as he POOPs himself3Richard Damon
9 Jul 24         i   `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in contradiction2olcott
9 Jul 24         i    `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott shows his stupidity.1Richard Damon
9 Jul 24         +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in inescapable contradiction5olcott
9 Jul 24         i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable contradiction4Richard Damon
9 Jul 24         i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard caught in inescapable contradiction3olcott
9 Jul 24         i  +- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable lie1Richard Damon
9 Jul 24         i  `- Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott caught in inescapable contradiction1Richard Damon
9 Jul 24         +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Richard contradicts himself right here3olcott
9 Jul 24         i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- Olcott doesn't understand about formal systems and meta2Richard Damon
9 Jul 24         i `- Shut the Fuck Up Richard Damon and olcott1Mild Shock
10 Jul 24         +* Richard contradicts himself about infinite proofs2olcott
10 Jul 24         i`- Re: Olcott doesn't understand meta-systems1Richard Damon
10 Jul 24         `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure51olcott
11 Jul 24          +* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure11Richard Damon
11 Jul 24          i`* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure10olcott
11 Jul 24          i `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure9Richard Damon
11 Jul 24          i  `* Infinite proofs do not derive knowledge8olcott
11 Jul 24          i   `* Re: Infinite proofs do not derive knowledge7Richard Damon
11 Jul 24          i    `* Re: Infinite proofs do not derive knowledge6olcott
11 Jul 24          i     `* Re: Infinite proofs do not derive knowledge5Richard Damon
11 Jul 24          i      `* Re: Infinite proofs do not derive knowledge4olcott
11 Jul 24          i       `* Re: Infinite proofs do not derive knowledge3Richard Damon
11 Jul 24          i        `* Re: Infinite proofs do not derive knowledge2olcott
12 Jul 24          i         `- Re: Infinite proofs do not derive knowledge, but do define Truth!1Richard Damon
11 Jul 24          `* Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure39Mikko
11 Jul 24           `* Infinite proofs do not derive knowledge --- Richard is proved wrong38olcott
12 Jul 24            +- Re: Infinite proofs do not derive knowledge --- Olcott is proved a liar1Richard Damon
15 Jul 24            `* Re: Infinite proofs do not derive knowledge --- Richard is proved wrong36Mikko
15 Jul 24             `* Re: Infinite proofs do not derive knowledge --- Richard is proved wrong35olcott
16 Jul 24              +* Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong33Richard Damon
16 Jul 24              i`* Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong32olcott
16 Jul 24              i `* Re: Infinite proofs do not derive knowledge --- Olcott is proved wrong31Richard Damon
16 Jul 24              i  `* Re: Infinite proofs do not derive knowledge --- Richard can't pay attention to his won words30olcott
17 Jul 24              i   `* Re: Infinite proofs do not derive knowledge --- OLCOTT can't pay attention to words29Richard Damon
17 Jul 24              i    `* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar28olcott
17 Jul 24              i     +- Re: Infinite proofs do not derive knowledge --- Olcott's Hand in the cookie jar1Richard Damon
17 Jul 24              i     +* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire6olcott
17 Jul 24              i     i+* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire3Richard Damon
17 Jul 24              i     ii`* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire2olcott
17 Jul 24              i     ii `- Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire1Richard Damon
17 Jul 24              i     i`* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire2olcott
18 Jul 24              i     i `- Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- pants on fire, is Olcott1Richard Damon
18 Jul 24              i     `* Re: Infinite proofs do not derive knowledge --- Hand in the cookie jar --- bald faced liar20olcott
18 Jul 24              i      `* Re: Infinite proofs do not derive knowledge Peter Olcott's Hand in the cookie jar --- bald faced liar19Richard Damon
18 Jul 24              i       `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?18olcott
18 Jul 24              i        `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?17Richard Damon
18 Jul 24              i         `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?16olcott
18 Jul 24              i          `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?15Richard Damon
18 Jul 24              i           `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?14olcott
18 Jul 24              i            `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?13Richard Damon
18 Jul 24              i             `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?12olcott
18 Jul 24              i              `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?11Richard Damon
18 Jul 24              i               `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?10olcott
18 Jul 24              i                `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?9Richard Damon
18 Jul 24              i                 `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?8olcott
18 Jul 24              i                  `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?7Richard Damon
18 Jul 24              i                   `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?6olcott
18 Jul 24              i                    `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?5Richard Damon
18 Jul 24              i                     `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?4olcott
19 Jul 24              i                      `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?3Richard Damon
19 Jul 24              i                       `* Re: Infinite proofs do not derive knowledge --- Honest confusion ?2olcott
19 Jul 24              i                        `- Re: Infinite proofs do not derive knowledge --- Honest confusion ?1Richard Damon
16 Jul 24              `- Re: Infinite proofs do not derive knowledge --- Richard is proved wrong1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal