Gottlob Frege was a German mathematician who was one of the founders of modern symbolic logic, putting forward the view that mathematics is reducible to logic. He was born in Wismar, Mecklenburg-Schwerin on 8 November 1848 and died in Bad Kleinen on 26 July 1925. His formal language for logic and his attempt to derive arithmetic from logical principles set the agenda for the foundations of mathematics in the twentieth century. He is important in the history of infinity and set theory and in the philosophy of mathematics.
Facts
Connections
Attributed Works
Source Wikipedia: Infinity
In Branch
Source Gottlob Frege, Biography (MacTutor History of Mathematics)
Proofs Credited
Source Frege's theorem, Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Gottlob Frege, Biography (MacTutor History of Mathematics)SummaryQuote, Summary
Gottlob Frege was a German mathematician who was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
Sources
1. Gottlob Frege, Biography (MacTutor History of Mathematics)
SummaryQuote, Summary
Gottlob Frege was a German mathematician who was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
Wikipedia: Infinity
Wikimedia FoundationAttributed Works: Infinity, LeadQuote, Attributed Works: Infinity, Lead
This modern mathematical conception of the quantitative infinite developed in the late 19th century from works by Cantor, Gottlob Frege, Richard Dedekind and others-using the idea of collections or sets
Frege's theorem, Wikipedia
Proofs Credited: Frege's Theorem, LeadQuote, Proofs Credited: Frege's Theorem, Lead
It was first proven, informally, by Gottlob Frege in his 1884 The Foundations of Arithmetic and proven more formally in his 1893 Grundgesetze der Arithmetik I (Basic Laws of Arithmetic I).
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.