Category:Mathematical Logic
Jump to navigation
Jump to search
This category contains results about Mathematical Logic.
Definitions specific to this category can be found in Definitions/Mathematical Logic.
Mathematical logic is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.
Subcategories
This category has the following 24 subcategories, out of 24 total.
1
- 1+1 = 2 (3 P)
A
- Algebraic Logic (empty)
C
- Choice Principles (9 P)
- Church's Theorem (1 P)
- Church's Thesis (3 P)
- Compactness Theorem (5 P)
D
- Decision Problems (2 P)
F
G
- Gödel Numbers (empty)
H
- Halting Problem (empty)
M
P
- Proof Theory (4 P)
R
W
Pages in category "Mathematical Logic"
The following 15 pages are in this category, out of 15 total.