Re: Analytic Truth-makers

Liste des GroupesRevenir à c theory 
Sujet : Re: Analytic Truth-makers
De : wasell (at) *nospam* example.com (Wasell)
Groupes : comp.theory sci.logic
Date : 23. Jul 2024, 15:51:57
Autres entêtes
Organisation : Never You Mind, Inc.
Message-ID : <MPG.4109e1eeb98e7f829896fe@reader.eternal-september.org>
References : 1 2 3 4
User-Agent : MicroPlanet-Gravity/3.0.4
On Mon, 22 Jul 2024 20:17:15 -0400, in article
<3fb77583036a3c8b0db4b77610fb4bf4214c9c23@i2pn2.org>, Richard Damon wrote:
 
On 7/22/24 8:11 PM, olcott wrote:

[...]

*No stupid I have never been saying anything like that* If g and
~g is not provable in PA then g is not a truth-bearer in PA.
>
What makes it different fron Goldbach's conjecture?

I think a better example might be Goodstein's theorem [1].

* It is expressible in the same language as PA.

* It is neither provable, nor disprovable, in PA.

* We know that it is true in the standard model of arithmetic.

* We know that it is false in some (necessarily non-standard) models
  of arithmetic.

* It was discovered and proved long before it was shown to be
  undecidable in PA.

The only drawback is that the theorem is somewhat more complicated
than Goldbach's conjecture -- not a lot, but a bit.


[1] <https://en.wikipedia.org/wiki/Goodstein%27s_theorem>

Date Sujet#  Auteur
22 Jul 24 * Analytic Truth-makers51olcott
22 Jul 24 +* ""self contradictory"" (Was: Analytic Truth-makers)6Mild Shock
22 Jul 24 i`* Re: ""self contradictory"" (Was: Analytic Truth-makers)5olcott
22 Jul 24 i `* Re: ""self contradictory"" (Was: Analytic Truth-makers)4Mild Shock
22 Jul 24 i  +- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
22 Jul 24 i  `* Re: ""self contradictory"" (Was: Analytic Truth-makers)2olcott
23 Jul 24 i   `- Re: ""self contradictory"" (Was: Analytic Truth-makers)1Mild Shock
23 Jul 24 `* Re: Analytic Truth-makers44Richard Damon
23 Jul 24  `* Re: Analytic Truth-makers43olcott
23 Jul 24   `* Re: Analytic Truth-makers42Richard Damon
23 Jul 24    +* Re: Analytic Truth-makers26olcott
23 Jul 24    i`* Re: Analytic Truth-makers25Richard Damon
23 Jul 24    i `* Re: Analytic Truth-makers24olcott
23 Jul 24    i  `* Re: Analytic Truth-makers23Richard Damon
23 Jul 24    i   `* Re: Analytic Truth-makers22olcott
23 Jul 24    i    +* Re: Analytic Truth-makers7Richard Damon
23 Jul 24    i    i`* Re: Analytic Truth-makers6olcott
23 Jul 24    i    i +* Re: Analytic Truth-makers4Mild Shock
23 Jul 24    i    i i+* "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)2Mild Shock
23 Jul 24    i    i ii`- Re: "undecidable" / "unentscheidbar" (Was Analytic Truth-makers)1Mild Shock
24 Jul 24    i    i i`- Re: Analytic Truth-makers1olcott
24 Jul 24    i    i `- Re: Analytic Truth-makers1Richard Damon
23 Jul 24    i    `* Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)14Mild Shock
23 Jul 24    i     `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)13olcott
23 Jul 24    i      `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)12Mild Shock
23 Jul 24    i       +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2olcott
24 Jul 24    i       i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    i       `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)9Mild Shock
23 Jul 24    i        +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
24 Jul 24    i        `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)7olcott
24 Jul 24    i         +- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
24 Jul 24    i         `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)5Mild Shock
24 Jul 24    i          `* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)4olcott
24 Jul 24    i           +* Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)2Mild Shock
24 Jul 24    i           i`- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Mild Shock
25 Jul 24    i           `- Re: Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)1Richard Damon
23 Jul 24    `* Re: Analytic Truth-makers15Wasell
23 Jul 24     `* Re: Analytic Truth-makers14olcott
24 Jul 24      `* Re: Analytic Truth-makers13Richard Damon
24 Jul 24       `* Re: Analytic Truth-makers12olcott
24 Jul 24        `* Re: Analytic Truth-makers11Richard Damon
24 Jul 24         `* Re: Analytic Truth-makers10olcott
24 Jul 24          `* Re: Analytic Truth-makers9Richard Damon
24 Jul 24           `* Re: Analytic Truth-makers8olcott
24 Jul 24            `* Re: Analytic Truth-makers7Richard Damon
24 Jul 24             `* Re: Analytic Truth-makers6olcott
25 Jul 24              `* Re: Analytic Truth-makers5Richard Damon
25 Jul 24               `* Re: Analytic Truth-makers4olcott
25 Jul 24                `* Re: Analytic Truth-makers3Richard Damon
25 Jul 24                 `* Re: Analytic Truth-makers2olcott
26 Jul 24                  `- Re: Analytic Truth-makers1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal