4 ms·
Unfortunately, 1st-order ZFC has very severe limitations because it does not precisely define sets. However, ordinals that provide the backbone of sets have b
by ProfHewitt 5y ago
Unfortunately, 1st-order ZFC has very severe limitations
because it does not precisely define sets.
However, ordinals that provide the backbone of sets have been
precisely defined up to a unique isomorphism using types.
See the following article:
"Theory Ordinals can Replace ZFC in Computer Science"
https://papers.ssrn.com/abstract=3457802 https://papers.ssrn.com/abstract=3457802
- amw-zero 5y agoEverything has limitations. I deeply trust the system that has served us extremely well over the last 150 years.
- ProfHewitt 5y agoOrthodoxy in science works until the next paradigm shift. See "In retrospect: The Structure of Scientific Revolutions" https://www.nature.com/articles/484164a https://www.nature.com/articles/484164a