List of mathematical logic topics

This is a list of mathematical logic topics, by Wikipedia page.

For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and complexity topics for more theory of algorithms.

Working foundations

Model theory

Set theory

Descriptive set theory

Large cardinals

Recursion theory

Proof theory

Mathematical constructivism

Theorem provers

Discovery systems

Historical

gollark: It seems like they seem to claim they're genociding *everyone*, actually?
gollark: Are you familiar with relativistic magnetoapiodynamics?
gollark: And they disagree with people disagreeing.
gollark: Presumably, these are some of the "being obese is fine" people.
gollark: I used to, but the bees making up my computational substrate were replaced with directly manipulated apions for higher clock rate.

See also

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.