Timeline for Is there any physical or computational justification for non-constructive axioms such as AC or excluded middle?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2019 at 12:07 | comment | added | Alex Gavrilov | I agree, but when mathematics and physics were the same constructive logic did not exist (and for a reason, I think). It may be that we mean different things when speaking of a model. Can you give an example when it matters if the foundations a particular model is built on are classical or constructive? | |
| Mar 24, 2019 at 23:55 | comment | added | ಠ_ಠ | Applied mathematicians often model physical phenomena, and many mathematical physicists like John Baez are certainly mathematicians. And anyway, until the 20th century mathematics and physics were essentially the same discipline (e.g. the work of Gauss, Riemann, Green, Kelvin, Newton, etc.). | |
| Mar 24, 2019 at 13:47 | history | answered | Alex Gavrilov | CC BY-SA 4.0 |