Most mathematicians are wroth, rather justifiably so I think, at the suggestion that mathematics has no content and that proofs of the impossibility of certain combinations or of the indemonstrability of certain theorems are a sort of meta-chess. Between wordless thought and thoughtless words, the decision would possibly rest with the former.
KeywordsClassical Logic Intuitionistic Logic Classical Mathematic Incompleteness Theorem Choice Sequence
Unable to display preview. Download preview PDF.