18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
Full Idea: We can conceive mathematics to be a stock of two kinds of formulas: first, those to which the meaningful communications of finitary statements correspond; and secondly, other formulas which signify nothing and which are ideal structures of our theory. | |
From: David Hilbert (On the Infinite [1925], p.196), quoted by David Bostock - Philosophy of Mathematics 6.1 |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
Full Idea: Hilbert's project was to establish the consistency of classical mathematics using just finitary means, to convince all parties that no contradictions will follow from employing the infinitary notions and reasoning. | |
From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
A reaction: This is the project which was badly torpedoed by Gödel's Second Incompleteness Theorem. |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
10114 | Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman] |
Full Idea: In the first instance all bounded quantifications are finitary, for they can be viewed as abbreviations for conjunctions and disjunctions. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.6) | |
A reaction: This strikes me as quite good support for finitism. The origin of a concept gives a good guide to what it really means (not a popular view, I admit). When Aristotle started quantifying, I suspect of he thought of lists, not totalities. |
10134 | Much infinite mathematics can still be justified finitely [George/Velleman] |
Full Idea: It is possible to use finitary reasoning to justify a significant part of infinitary mathematics. | |
From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.8) | |
A reaction: This might save Hilbert's project, by gradually accepting into the fold all the parts which have been giving a finitist justification. |