Friday, August 6, 2010

Leap of Faith

Standard mathematics doesn't require any leap of faith, whereas works such as Gödel's and Cohen's require to believe in the consistency of some formalization of mathematics.