Named after states whose name a theorem actually carries, which is not always the person who proved it. Wikipedia notes the proposition "was first stated as a theorem by Pierre de Fermat around 1637 in the margin of a copy of Arithmetica," 358 years before anyone could prove it. This dimension separates a theorem's namesake from whoever eventually supplied the proof.
Facts
Comparison
Era Of Emergence Named After
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.
View the Source 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.