Proved results about formal systems, provability and the limits of what a system of axioms can settle. Belongs here: foundational theorems such as those establishing incompleteness or independence. Does not belong here: results in an ordinary branch that happen to be proved by formal methods.
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.