display all the ideas for this combination of texts
3 ideas
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |