University of Calgary

UofC Navigation

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