Philosophy of Mathematics and Computer Science -- tutorial
- A Crash Course in the Mathematics of Infinite Sets --Peter Suber
- Notes on Intuitionism
- Confessions of a formalist, Platonist intuitionist--Fred Richman
- Historia Mathematica --Discussion Archives
- The Axiom of Choice Home Page --Eric Schechter
- Non-Standard Models in a Broader Perspective --Haim Gaifman (.pdf)
- Kurt Gödel
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems --the text of Gödel's 1931 paper
- On Formally Undecidable Propositions. . . --a translation using modern notation (.pdf)
- The modern development of the foundations of mathematics in the light of philosophy --Gödel (1961)
- Gödel's Theorem and Around --K. Podnieks
- Gödel's Proof --Peter Suber
- Gödel's Philosophy of Mathematics --Harold Ravitch
- Minds, Machines and Gödel and The Implications of Gödel's Theorem --J. R. Lucas
- Links to Articles on Gödel and AI (with responses to J.R. Lucas and Roger Penrose) --David Chalmers
- Portraits of Kurt Gödel
- Selected articles from the Stanford Encyclopedia of Philosophy
- Alan Turing Home Page --Andrew Hodges
- Turing vs. Super-Turing --Luciano Floridi
- GJ Chaitin Home Page
- Randomness Everywhere --Notes on Chaitin's Number
- A Bibliography of Non-Standard Logics --Peter Suber
Updated September 11, 2005