Timeline for Does the Axiom of Choice (or any other "optional" set theory axiom) have real-world consequences?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 8, 2010 at 8:37 | comment | added | jeremy | I think this is going too far--one can definitely test if a particular system is well-described by a particular set of axioms. One could even imagine there could be a system where you can "exactly" test them. This certainly counts as "empirically testing" but my contention is that there is not an well-defined/objective (i.e., 'experiment independent') notion of this. | |
| Jun 8, 2010 at 8:28 | history | answered | Pietro Majer | CC BY-SA 2.5 |