Pioneers in Computer Science
Pioneers in CS
Back
Gottlob Frege
Early Electronictheory of computation

Gottlob Frege

Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician

1848 – 1925GermanyContribution: 1879

Introduction

Gottlob Frege was a German philosopher, logician, and mathematician. He is considered one of the founders of modern logic and made significant contributions to the philosophy of language. Among his most notable works is the development of predicate logic, also known as "Fregean logic".

Key Achievement

Extended Aristotelian logic with first-order predicate calculus independently of Charles Sanders Peirce, a crucial precursor in computability theory; also relevant to early work on artificial intelligence, logic programming

Biography

Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be one of the greatest logicians since Aristotle, and one of the most profound philosophers of mathematics ever.

Notable Works

Begriffsschrift

Other

1879

The Foundations of Arithmetic

Other

1884

Grundgesetze der Arithmetik

Other

1893

Frege's Puzzle

Other

Frege system

Other

principle of compositionality

Other

Frege's propositional calculus

Other

Frege's theorem

Other

Frege–Church ontology

Other

Did You Know?

  • Frege is widely considered to be one of the greatest logicians since Aristotle, and one of the most profound philosophers of mathematics ever.
  • His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics.
  • His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn.

Institutions

Friedrich Schiller University Jena

Education

Grosse Stadtschule zu Wismar

1869

Friedrich Schiller University Jena

1871

University of Göttingen

Doctor

1873

Influences