Timeline for Where's the notion of interpretation (model) originally introduced?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 8, 2010 at 13:29 | comment | added | Joel David Hamkins | Gerald, couldn't one also view the introduction of zero, or the rational numbers from the integers, etc., as (much earlier) (equi)consistency results of the same type? These were earlier. But it may be anachronistic to speak of any of these as consistency results, rather than merely as mathematical constructions. | |
| Mar 8, 2010 at 12:40 | comment | added | Gerald Edgar | The Poincaré model is used to show that hyperbolic geometry is equiconsistent with Euclidean geometry. Is that the first equiconsistency result? | |
| Mar 8, 2010 at 2:31 | comment | added | John Goodrick | Cayley did introduce abstract groups in his 1854 paper, but I think that Matt is asking where the idea first came from to connect logical validity with the semantic notion of "truth in a model." There is no discussion of this logical connection in Cayley's work, as far as I know. The point about the "Poincaré model" is interesting, though. | |
| Mar 8, 2010 at 1:52 | history | answered | Gerald Edgar | CC BY-SA 2.5 |