|
|
|
|
|
|
by schoen
3495 days ago
|
|
|
It is definitely not a standard or mainstream view, but it could be a flavor of https://en.wikipedia.org/wiki/Finitism which has been defended by a very small but not infinitesimal :-) number of professional mathematicians and which isn't a logically inconsistent position. |
|
|
By that I mean that I believe that physical systems can be completely described by constructive mathematics based on intuitionistic logic[2] operating on computable reals[3]. I believe that any other kind of mathematics, e.g. classical logic with axiom of choice can create unphysical models.
That being said, I don't object to classical logic as a purely abstract concept. Everything proved in ZFC is certainly true in ZFC! And I don't think any finitist will contest that.
[1] https://en.wikipedia.org/wiki/Ultrafinitism
[2] https://en.wikipedia.org/wiki/Intuitionistic_logic
[3] https://en.wikipedia.org/wiki/Computable_number