Gottlob Frege (1848-1925) was a German mathematician, logician, and philosopher who spent almost his entire academic life at the University of Jena. The University of Munster Library, which holds his surviving papers, describes him as a co-founder of analytical philosophy and of modern logic, whose work laid foundations relevant to today’s computer and information technology. His scientific papers came to Munster through the logician Heinrich Scholz, who received them in 1935; the original manuscripts were lost in the Second World War, but typewritten copies survived.
Frege’s central achievement was his 1879 booklet “Begriffsschrift” (“concept-script”), which introduced the first fully formal system of logic capable of expressing mathematical reasoning with complete rigor. It included quantifiers, the “for all” and “there exists” devices that let logic capture statements about every object or some object, an advance over the logic that had stood largely unchanged since Aristotle. Frege aimed to show that arithmetic could be derived from pure logic, a program that ran into Russell’s famous paradox but reshaped the foundations of mathematics in the process.
For the library’s reader, Frege sits far upstream of artificial intelligence, but the connection is direct. The formal logic he created is the ancestor of the symbolic reasoning at the heart of early AI, and quantified logic remains the language in which we state precisely what a computation does. When a machine manipulates symbols according to exact rules, it is operating in a world that Frege was the first to map.