logic

Gottlob Frege and the Begriffsschrift

Gottlob Frege and the Begriffsschrift

Gottlob Frege (1848-1925) On November 8, 1848, German mathematician, logician and philosopher Gottlob Frege was born. He is considered as one of the fathers of modern mathematical logic and has developed the Begriffsschrift, an approach to put classical philosophical logic into a formal mathematical language. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano and Bertrand Russell introduced his work to later generations of logicians…
Read more
Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano (1858-1932) On August 27, 1858, Italian mathematician and philosopher Giuseppe Peano was born. He is he author of over 200 books and papers, and is considered the founder of mathematical logic and set theory. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: