Skip to main content
11 events
when toggle format what by license comment
Mar 22, 2012 at 20:13 answer added user10290 timeline score: 11
S Mar 22, 2012 at 19:04 vote accept Thomas Benjamin
Mar 22, 2012 at 8:19 comment added Joel David Hamkins I suggest the math-philosophy tag.
Mar 21, 2012 at 21:24 answer added Joel David Hamkins timeline score: 17
Mar 21, 2012 at 19:21 vote accept Thomas Benjamin
S Mar 22, 2012 at 19:04
Mar 21, 2012 at 16:45 answer added Andrej Bauer timeline score: 32
Mar 21, 2012 at 14:41 comment added Pierre-Yves Gaillard Link to "Is the dream solution to the continuum hypothesis attainable?" by Joel David Hamkins: arxiv.org/abs/1203.4026
Mar 21, 2012 at 14:20 history edited Ed Dean
edited tags
Mar 21, 2012 at 10:47 comment added fedja Depends on what you mean by "argumentative". We all agree that the question cannot be settled the on purely "axiomatic/deductive" playground. The interesting thing, however, is that while AC is commonly (but not universally) accepted because it enables us to prove many useful down to Earth things that would be undecidable otherwise, and rejected by some because it brings up a few clear monsters like Banach-Tarski, the implications of CH or its negation in the "everyday math" are much less transparent. So, the question is "can we get something our intuition revolts against from negating CH?"
Mar 21, 2012 at 10:18 comment added Charles Matthews Isn't this rather argumentative?
Mar 21, 2012 at 7:07 history asked Thomas Benjamin CC BY-SA 3.0