Sujet : Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context.
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 21. Mar 2025, 21:10:06
Autres entêtes
Organisation : Fix this later
Message-ID : <vrkh30$29m93$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
User-Agent : Mozilla Thunderbird
On 21/03/2025 11:48, Richard Damon wrote:
On 3/21/25 5:33 AM, Richard Heathfield wrote:
<snip>
>
But what if they were /both/ right? It was an obvious worry, and so arose the great question: is mathematics consistent?
>
And Gödel proved not only that it isn't, but that it can't be.
>
Fortunately, to date inconsistency has tended to surface only in corner cases like the Halting Problem, but Gödel's Hobgoblin hovers over mathematics to this day.
>
Godel didn't prove that Mathematics wasn't consistent. He proved that it couldn't be proved to BE consistant within itself.
Yes, I rather overstated the case. Sorry about that.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
Date | Sujet | # | | Auteur |
17 Mar 25 | Why Tarski is wrong | 79 | | olcott |
17 Mar 25 |  Re: Why Tarski is wrong | 74 | | Richard Damon |
17 Mar 25 |   Re: Why Tarski is wrong | 73 | | olcott |
18 Mar 25 |    Re: Why Tarski is wrong | 1 | | Richard Damon |
18 Mar 25 |    Re: Why Tarski is wrong | 1 | | Richard Damon |
18 Mar 25 |    Re: Why Tarski is wrong | 70 | | Mikko |
18 Mar 25 |     Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 69 | | olcott |
19 Mar 25 |      Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 67 | | Richard Damon |
19 Mar 25 |       Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 66 | | olcott |
20 Mar 25 |        Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 65 | | Richard Damon |
20 Mar 25 |         Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 64 | | olcott |
21 Mar 25 |          Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 61 | | Richard Damon |
21 Mar 25 |           Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 60 | | olcott |
21 Mar 25 |            Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 42 | | Mikko |
21 Mar 25 |             Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 31 | | Richard Heathfield |
21 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 17 | | Richard Damon |
21 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 15 | | Richard Heathfield |
21 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 14 | | olcott |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | Richard Damon |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Heathfield |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 11 | | Mikko |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 10 | | olcott |
22 Mar 25 |                   Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | Mikko |
22 Mar 25 |                    Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | olcott |
23 Mar 25 |                     Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Mikko |
22 Mar 25 |                   Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 6 | | Richard Damon |
22 Mar 25 |                    Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 5 | | olcott |
23 Mar 25 |                     Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 4 | | Richard Damon |
23 Mar 25 |                      Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | olcott |
23 Mar 25 |                       Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
24 Mar 25 |                       Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | joes |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Mikko |
21 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | olcott |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
21 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 9 | | Keith Thompson |
21 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 4 | | Richard Heathfield |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | Richard Damon |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | Richard Heathfield |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
21 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 4 | | olcott |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | Richard Damon |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | olcott |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | Mikko |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Heathfield |
21 Mar 25 |             Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 10 | | olcott |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 8 | | Mikko |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 7 | | olcott |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
23 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 5 | | Mikko |
23 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 4 | | olcott |
23 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
24 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | joes |
24 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Mikko |
21 Mar 25 |            Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 4 | | Richard Damon |
21 Mar 25 |             Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | olcott |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
21 Mar 25 |            Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 13 | | Richard Damon |
21 Mar 25 |             Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 12 | | olcott |
22 Mar 25 |              Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 11 | | Richard Damon |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 7 | | olcott |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 5 | | Richard Damon |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | olcott |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |                 Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | Mikko |
22 Mar 25 |                  Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |               Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 3 | | olcott |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
22 Mar 25 |                Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Richard Damon |
21 Mar 25 |          Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 2 | | Mikko |
21 Mar 25 |           Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | olcott |
19 Mar 25 |      Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology providing situational context. | 1 | | Mikko |
17 Mar 25 |  Re: Why Tarski is wrong | 4 | | Richard Damon |
17 Mar 25 |   Re: Why Tarski is wrong | 3 | | olcott |
17 Mar 25 |    Re: Why Tarski is wrong | 1 | | Richard Damon |
17 Mar 25 |    Re: Why Tarski is wrong | 1 | | Richard Damon |