Timeline for Should Wittgenstein be given partial credit for Gödel’s incompleteness theorem?
Current License: CC BY-SA 4.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 17 at 15:51 | history | edited | Julius Hamilton | CC BY-SA 4.0 |
deleted 215 characters in body; edited tags; edited title
|
Mar 17 at 14:48 | comment | added | Hudjefa | Cogito, Theory of Types, last I checked, was put forward, by Bertrand Russell, as a barricade against paradoxes; the problematic logic bomb was the eponymous Russell's paradox that was a death blow to Frege's attempts to ground math on set theory. However, I didn't realize there was a connection between types and the incompleteness theorems. Good to know. | |
Mar 17 at 4:17 | answer | added | Abel Peralta | timeline score: 0 | |
Feb 13, 2023 at 0:04 | answer | added | Dennis Kozevnikoff | timeline score: 4 | |
Aug 17, 2011 at 3:08 | history | edited | Joseph Weissman♦ | CC BY-SA 3.0 |
edited title
|
Aug 15, 2011 at 16:30 | vote | accept | Andrew Stout | ||
Aug 14, 2011 at 13:36 | answer | added | Michael Dorfman | timeline score: 17 | |
Aug 13, 2011 at 7:17 | history | edited | Cody Gray | CC BY-SA 3.0 |
Markdown has really nice auto-format-and-indent support when you use numbers instead of letters. Minor nitpick, I know.
|
Aug 13, 2011 at 6:22 | history | tweeted | twitter.com/#!/StackPhilosophy/status/102263823150489600 | ||
Aug 13, 2011 at 0:40 | history | asked | Andrew Stout | CC BY-SA 3.0 |