Timeline for Mathematical Universe Hypothesis
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2011 at 23:04 | comment | added | Ron Maimon | @lurscher: I agree, but it is important to make clear that the axiom of choice is not the main obstacle, but the axiom of powerset. The nonconstructible objects start already at the Church-Kleene ordinal, not at the first uncountable ordinal, and powerset lets you construct an uncountable ordinal, with all the indetederminate universes this implies. | |
| Oct 13, 2011 at 14:54 | comment | added | lurscher | you can stick to constructible mathematical objects, avoid the axiom of choice, and you don't get any of those nonsenses | |
| Oct 13, 2011 at 14:40 | history | answered | Eskiru | CC BY-SA 3.0 |