MSC2020's 03 block: formal systems, what can be proved within them, and the nature of mathematical infinity itself. Belongs here: logic and foundations, set theory, model theory, proof theory and computability theory. Does not belong here: order theory, grouped under Algebra, or the philosophical discussion of what mathematics is, which belongs to Philosophy under the ruling 713 seam.
Facts
Comparison
Era Of Emergence Browse By
Logic, Foundations and Set Theory
Sources
1. Mathematical Logic (Wikipedia)
Wikimedia FoundationHistory sectionQuote, History section
Mathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.