display all the ideas for this combination of texts
5 ideas
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
A reaction: Each expansion brings a limitation, but then you can expand again. |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
Full Idea: The Frege-Maddy definition of number (as the 'property' of being-three) explains why the definitions of Von Neumann, Zermelo and others work, by giving the 'principle of collection' that ties together all threes. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'A Fregean') | |
A reaction: [compressed two or three sentences] I am strongly in favour of the best definition being the one which explains the target, rather than just pinning it down. I take this to be Aristotle's view. |
17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
Full Idea: Sets could hardly serve as a foundation for number theory if we had to await detailed results in the upper reaches of the edifice before we could make our first move. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'Two') |
17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |
Full Idea: We can address a set with any question at all that admits of a numerical reply. Thus we can ask of {Carter, Reagan} 'How many feet do the members have?'. | |
From: Palle Yourgrau (Sets, Aggregates and Numbers [1985], 'On Numbering') | |
A reaction: This is his objection to the Fregean idea that once you have fixed the members of a set, you have thereby fixed the unique number that belongs with the set. |