Foundations of Mathematics
Document Actions
Initial links on philosophical foundations of mathematics.
Just closing some windows for now while continuing to read Michael Potter, "Set Theory and its Philosophy" (finished ch 3).
Karl Podniaks, What is Mathematics - Godels theorem and around
Random Graphs are decidable from Pressburger Arithmetic?
Quasi-empiricism in mathematics
Need more than first order logic - see Model Theory
