Personally, I am an ultrafinitist. By that I mean that I believe that physical systems can be completely described by constructive mathematics based on intuiti

Personally, I am an ultrafinitist. 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 https://en.wikipedia.org/wiki/Ultrafinitism [2] https://en.wikipedia.org/wiki/Intuitionistic_logic https://en.wikipedia.org/wiki/Intuitionistic_logic [3] https://en.wikipedia.org/wiki/Computable_number https://en.wikipedia.org/wiki/Computable_number