Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematician

Gottlob Frege

Modern

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
Biography
Gender
Male 1
Gottlob Frege
Filter Results1 entry
Connections

Attributed Works

Infinity, Concepts
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)Summary
Quote, 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)
Summary
Quote, 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.
View the Source
Wikipedia: Infinity
Wikimedia FoundationAttributed Works: Infinity, Lead
Quote, 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
View the Source
Frege's theorem, Wikipedia
Proofs Credited: Frege's Theorem, Lead
Quote, 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).
View the Source

Take a Related Quiz

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.