Skip to main content
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