Editing Model Theory (section)

== <span style="color: #FFFFFF;">Creating</span> ==
Future Frontiers:
# '''Finite Model Theory''': The study of models with a limited number of objects, used to understand the complexity of computer databases (SQL).
# '''Model-Theoretic AI''': Building AI that can "Internalize" a model of the world and check its own reasoning for consistency.
# '''Topos Theory''': A "Higher-level" model theory that uses Category Theory to study the "Shapes" of logic.
# '''The Quest for Categoricity''': Trying to find new axioms that finally give us a "Unique" description of the numbers we use every day.

[[Category:Mathematics]]
[[Category:Logic]]
[[Category:Philosophy]]
</div>