4 ms·
Yes, typically the base layer is set theory (with ZFC being the "standard" formulation). https://en.wikipedia.org/wiki/Foundations_of_mathematics https://en.wi
by empath-nirvana 2y ago
Yes, typically the base layer is set theory (with ZFC being the "standard" formulation).
https://en.wikipedia.org/wiki/Foundations_of_mathematics https://en.wikipedia.org/wiki/Foundations_of_mathematics
- drsopp 2y agoI understand what you mean, but in my context I would say that you need layers below this. You for example paper, ink, glyphs, and other things before you can start defining ZFC.
- novaRom 2y agoDiscreteness, finitenes, causality.
- empath-nirvana 2y agoYou don't need paper or ink to start working with math. You don't need symbols. You can just do it in your head. That's the beauty of math. The physical instantiation of it doesn't matter.
- drsopp 2y agoTrue. But the physical instantiation is necessary. That is what I am exploring: What is necessary to start working with math, and can it be described like the OSI model?
- mdnahas 2y agoThere are other foundations for mathematics. Dependent Type Theory has a lot of support from people studying Proof Theory. It is based on typed lambda calculus. It is currently being researched and implemented in mathematical provers, like Coq and Lean.