Mathematical logic is a field of mathematics that tries to formalize logic so that it can be used for mathematics more easily. Logic is about reasoning, and mathematical logic shows this with symbols. Most of mathematical logic was developed in the 19th and 20th century.
This field can be said to have four main sub-fields:
- set theory
- the study of mathematical proofs
- the study of recursion, and
- model theory
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
