18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [George/Velleman on Hilbert] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
10114 | Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman] |
10134 | Much infinite mathematics can still be justified finitely [George/Velleman] |