Programming Language Theory Concept
Meta-mathematics
Books
Journey Statuslearning
The study of mathematical systems themselves using mathematical methods - analyzing properties like consistency, completeness, and decidability of formal theories.
The study of mathematical systems themselves using mathematical methods - analyzing properties like consistency, completeness, and decidability of formal theories.