Documents on this site related to Mathematical Logic and Computability

The basic metatheorems of first order logic: soundness, completeness, compactness, Lowenheim-Skolem theorem, undecidability of first order logic, Godel's incompleteness theorem. Enumerability, diagonalization, formal systems, standard and nonstandard models, Godel numberings, Turing machines, recursive functions, and evidence for Church's thesis.

Syndicate content