Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
fnrslvr
on May 21, 2019
|
parent
|
context
|
favorite
| on:
Set Theory and Foundations of Mathematics
Set theory and logic are too interdependent to venture far in one whilst steering clear of the other. For instance, you'll only really skim the surface of model theory without a basic understanding of infinite cardinals.
The_rationalist
on May 21, 2019
[–]
They can indeed be used together and are interdépendant in practice at "high level mathematics" But set theory is made of a lower level primitive (first order logic) itself being an extension of zeroth order logic. I was saying that in the context of learning the foundation of mathematics where set theory is not the first place to begin.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: