Timeline for Can we have non continuous models of reality? Why don't we have them?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2011 at 15:54 | comment | added | Uri | Could you specify why physics isn't first order logic, why we need the axiom of choice for real numbers, and why do we even need real numbers to begin with, and not simply rational numbers? Furthermore - how does the axiom of choice contradicts decidability? What if you allow randomness for the TM? (overall this doesn't answer the question and naturally I don't agree with the statement that this question has nothing to do with physics...) | |
| Jun 1, 2011 at 2:10 | comment | added | Dan Brumleve | The Axiom of Choice isn't required to define the reals or to define continuous functions. | |
| May 26, 2011 at 8:17 | history | answered | Kyle | CC BY-SA 3.0 |