I just finished Rebecca Goldstein's (excellent) book Incompleteness. If I'm understanding this correctly, Godel's theorems were instrumental in ending logical postitivism, by showing that the movement could never produce a mathematical system which defines arithmetic while being complete and self-consistent. So what about Intuitionism? Isn't that nominalist as well, and subject to the same logical inconsistencies? How do they answer this? (Also, any relevant book suggestions would be appreciated)
posted on Jul 14, 2006 - 18 answers