Richard Zach
University of Calgary
UofC Navigation
History of Logic
This website has moved!
You are looking at an archived page. The website has moved to richardzach.org.
Carnap's Early Metatheory: Scope and Limits
Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program
The development of mathematical logic from Russell to Tarski
Kurt Gödel and computability theory
Kurt Gödel, paper on the incompleteness theorems (1931)
Hilbert's "Verunglückter Beweis," the first epsilon theorem, and consistency proofs
Completeness before Post: Bernays, Hilbert, and the development of propositional logic