Timeline for Gödel on pure mathematics and medieval theology
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 2, 2021 at 18:39 | comment | added | user21820 | @TrevorChase: But that's merely a discovery of a theorem, which is the fact that your chosen foundational system proves the theorem you proved. Whether that theorem represents some actually meaningful truth or not depends on whether meaning can ascribed to your foundational system. Whether that is possible or not for systems on the level of ZFC is on very very shaky ground. On the other hand, bounded ZFC has more plausible meaningfulness... | |
| Nov 15, 2020 at 12:38 | comment | added | Carlo Beenakker | @bof --- rabid = fanatical (Gödel writes in German and uses the word "rabiate") | |
| Nov 15, 2020 at 1:10 | comment | added | Trevor Chase | thank you. I never thought about this philosophy before, although it does strike me that when I prove something new it feels like a discovery. I guess I believe in this other reality after all :) | |
| Nov 14, 2020 at 15:16 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 33 characters in body
|
| Nov 14, 2020 at 14:35 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Markdown, titles of essays etc
|
| Nov 14, 2020 at 8:57 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 108 characters in body
|
| Nov 14, 2020 at 8:36 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
added 591 characters in body
|
| Nov 14, 2020 at 8:28 | history | answered | Carlo Beenakker | CC BY-SA 4.0 |