alright just for fun: AMA but only about math, will attempt to speed-explain stuff with as few symbols and equations as possible and see what happens
(esp happy to field questions about stuff that seems basic to you and that you feel like you should've gotten a long time ago!)
Conversation
what's the whole deal with "models"?
1
5
hmm can you elaborate? like models of physical situations, that kind of thing? like what's the deal about the relationship between "models" and "reality"?
1
3
uh i think this kind of thing? although i know very little about it?
1
2
Replying to
oh model theory yeah sure. so, there's a general pattern in modern mathematics where you define some class of objects in terms of them having some operations satisfying some axioms, e.g. groups, rings, fields, etc.
model theory is studying this defining procedure itself: there are these things called "first-order theories" (and "the first-order theory of groups" etc. is an example) and "models" of these are sets having some operations satisfying some axioms specified by the theory
1
4
it turns out there are a lot of really wacky things you can say about how models of first-order theories behave in general and model theorists study those things
one major application is that there is a "first-order theory of arithmetic" and a "first-order theory of sets"
1
3
Show replies