Open conjectures and independence questions about formal systems and the foundations of mathematics itself. Belongs here: unproved claims about what a given axiom system can or cannot settle. Does not belong here: conjectures in an ordinary branch that happen to be hard to prove; foundational status is the test, not mere difficulty.
Facts
Comparison
Era Of Emergence Browse By
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.