The key undecidable instance that I know about

Liste des GroupesRevenir à s logic 
Sujet : The key undecidable instance that I know about
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic
Date : 09. Mar 2025, 18:15:13
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqkib1$r5np$1@dont-email.me>
User-Agent : Mozilla Thunderbird
Is the Liar Paradox True or False?
LP := ~True(LP)
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
Its infinitely recursive structure makes it neither true nor false.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
9 Mar 25 * The key undecidable instance that I know about108olcott
9 Mar 25 +* Re: The key undecidable instance that I know about2dbush
10 Mar 25 i`- Re: The key undecidable instance that I know about1dbush
9 Mar 25 +* Re: The key undecidable instance that I know about90Richard Damon
9 Mar 25 i`* Re: The key undecidable instance that I know about89olcott
9 Mar 25 i `* Re: The key undecidable instance that I know about88Richard Damon
9 Mar 25 i  `* Re: The key undecidable instance that I know about87olcott
10 Mar 25 i   `* Re: The key undecidable instance that I know about86Richard Damon
10 Mar 25 i    `* Re: The key undecidable instance that I know about85olcott
10 Mar 25 i     +* Re: The key undecidable instance that I know about3Richard Damon
10 Mar 25 i     i`* Re: The key undecidable instance that I know about2olcott
10 Mar 25 i     i `- Re: The key undecidable instance that I know about1Richard Damon
10 Mar 25 i     `* Re: The key undecidable instance that I know about81Richard Damon
11 Mar 25 i      `* Re: The key undecidable instance that I know about80olcott
11 Mar 25 i       `* Re: The key undecidable instance that I know about79Richard Damon
11 Mar 25 i        `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY78olcott
11 Mar 25 i         +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY74dbush
11 Mar 25 i         i+* Re: The key undecidable instance that I know about --- Truth-bearers ONLY44olcott
11 Mar 25 i         ii`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY43Mikko
12 Mar 25 i         ii +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY6olcott
12 Mar 25 i         ii i+- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
12 Mar 25 i         ii i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4Mikko
12 Mar 25 i         ii i `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3olcott
12 Mar 25 i         ii i  +- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
13 Mar 25 i         ii i  `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Mikko
15 Mar 25 i         ii `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY36olcott
15 Mar 25 i         ii  +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY24Richard Damon
16 Mar 25 i         ii  i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY23olcott
16 Mar 25 i         ii  i `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY22Richard Damon
16 Mar 25 i         ii  i  `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY21olcott
16 Mar 25 i         ii  i   `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY20Richard Damon
16 Mar 25 i         ii  i    `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY19olcott
16 Mar 25 i         ii  i     `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY18Richard Damon
17 Mar 25 i         ii  i      `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY17olcott
17 Mar 25 i         ii  i       `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY16Richard Damon
17 Mar 25 i         ii  i        `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY15olcott
17 Mar 25 i         ii  i         `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY14Richard Damon
17 Mar 25 i         ii  i          `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY13olcott
18 Mar 25 i         ii  i           +- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
18 Mar 25 i         ii  i           `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY11Mikko
19 Mar 25 i         ii  i            `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY10olcott
19 Mar 25 i         ii  i             +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3Richard Damon
19 Mar 25 i         ii  i             i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY2olcott
20 Mar 25 i         ii  i             i `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
20 Mar 25 i         ii  i             `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY6Mikko
21 Mar 25 i         ii  i              `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY5olcott
21 Mar 25 i         ii  i               `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4Mikko
21 Mar 25 i         ii  i                `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3olcott
22 Mar 25 i         ii  i                 +- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
22 Mar 25 i         ii  i                 `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Mikko
16 Mar 25 i         ii  `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY11Mikko
16 Mar 25 i         ii   `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY10olcott
17 Mar 25 i         ii    `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY9Mikko
17 Mar 25 i         ii     `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY8olcott
20 Mar 25 i         ii      `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY7Mikko
20 Mar 25 i         ii       `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY6olcott
21 Mar 25 i         ii        +- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
21 Mar 25 i         ii        `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4Mikko
21 Mar 25 i         ii         `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3olcott
22 Mar 25 i         ii          +- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
22 Mar 25 i         ii          `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Mikko
15 Mar 25 i         i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY29olcott
15 Mar 25 i         i +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY16dbush
15 Mar 25 i         i i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY15olcott
15 Mar 25 i         i i `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY14dbush
15 Mar 25 i         i i  `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY13olcott
15 Mar 25 i         i i   `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY12dbush
16 Mar 25 i         i i    `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY11olcott
16 Mar 25 i         i i     `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY10dbush
16 Mar 25 i         i i      `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY9olcott
16 Mar 25 i         i i       `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY8dbush
16 Mar 25 i         i i        `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY7olcott
16 Mar 25 i         i i         `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY6dbush
16 Mar 25 i         i i          `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY5olcott
16 Mar 25 i         i i           `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4dbush
16 Mar 25 i         i i            `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3olcott
16 Mar 25 i         i i             `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY2dbush
16 Mar 25 i         i i              `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1olcott
15 Mar 25 i         i +* Re: The key undecidable instance that I know about --- Truth-bearers ONLY5Richard Damon
16 Mar 25 i         i i`* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4olcott
16 Mar 25 i         i i `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3Richard Damon
16 Mar 25 i         i i  `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY2olcott
16 Mar 25 i         i i   `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
17 Mar 25 i         i `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY7Mikko
17 Mar 25 i         i  `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY6olcott
18 Mar 25 i         i   `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY5Mikko
19 Mar 25 i         i    `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY4olcott
19 Mar 25 i         i     `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3Mikko
20 Mar 25 i         i      `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY2olcott
20 Mar 25 i         i       `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Mikko
11 Mar 25 i         `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY3Richard Damon
12 Mar 25 i          `* Re: The key undecidable instance that I know about --- Truth-bearers ONLY2olcott
12 Mar 25 i           `- Re: The key undecidable instance that I know about --- Truth-bearers ONLY1Richard Damon
10 Mar 25 `* Re: The key undecidable instance that I know about15Mikko
10 Mar 25  `* Re: The key undecidable instance that I know about14olcott
11 Mar 25   `* Re: The key undecidable instance that I know about13Mikko
12 Mar 25    +* Re: The key undecidable instance that I know about11olcott
13 Mar 25    i`* Re: The key undecidable instance that I know about10Mikko
14 Mar 25    i `* Re: The key undecidable instance that I know about9olcott
14 Mar 25    i  +* Re: The key undecidable instance that I know about7Richard Damon
14 Mar 25    i  i`* Re: The key undecidable instance that I know about6olcott
15 Mar 25    i  `- Re: The key undecidable instance that I know about1Mikko
15 Mar 25    `- Re: The key undecidable instance that I know about1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal