display all the ideas for this combination of texts
3 ideas
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
Full Idea: We cannot long remain content with the present fragmentation [of mathematics]. Order can be created only by a system. But to construct a system it is necessary that in any step forward we take we should be aware of the logical inferences involved. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.205) |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
Full Idea: If the law [of induction] can be proved, it will be included amongst the theorems of mathematics; if it cannot, it will be included amongst the axioms. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
A reaction: This links Frege with the traditional Euclidean view of axioms. The question, then, is how do we know them, given that we can't prove them. |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
Full Idea: If one is, there must also necessarily be number - Necessarily - But if there is number, there would be many, and an unlimited multitude of beings. ..So if all partakes of being, each part of number would also partake of it. | |
From: Plato (Parmenides [c.364 BCE], 144a) | |
A reaction: This seems to commit to numbers having being, then to too many numbers, and hence to too much being - but without backing down and wondering whether numbers had being after all. Aristotle disagreed. |