3 ms·
The results in the article are based on 1st-order logic, which is inadequate for the foundations of mathematics. Mathematical abstractions need to be characte
by ProfHewitt 5y ago
The results in the article are based on 1st-order logic,
which is inadequate for the foundations of mathematics.
Mathematical abstractions need to be characterized up a
unique isomorphism as in the theory Ordinals described in
the following article:
"Theory Ordinals can Replace ZFC in Computer Science"
https://papers.ssrn.com/abstract=3457802
Mathematical questions can be properly addressed only by
using adequate foundations.
- ProfHewitt 5y agoPS. There are no ordinals of intermediate cardinality between ω<sub>0</sub> and ω<sub>1</sub>.