On 26 May 2012, at 08:47, Evgenii Rudnyi wrote:

On 24.05.2012 09:52 Bruno Marchal said the following:On 23 May 2012, at 20:19, Evgenii Rudnyi wrote:...nominalism that they are just notation and do not exist as such independently from the mind.But that distinction is usually made in the aristotelian context, where some concrete physical universe is postulated. With comp we know this is not possible. You can restate it by saying that the natural numbers are concrete, but that a property like 'being prime" is abstract. Then mathematicians are mostly realist, because they believe that "being prime" is an independent property of natural numbers. for a mechanical generable set, like the set of prime numbers, you can come back to nominalism through GĂ¶del numbering, and through the identification of the concept of primes with the number (machine) which generates all and only the prime numbers. But this leads to difficulties for the non mechanically generable sets of numbers, which *do* play a role in the machine/numbers points of view.To me this difference "realism vs. nominalism" seems to be related to the question whether mathematical objects are mental or not.But with comp, mental is a number's attributes. And eventually "physical" is a collection of number attribute. If you make mathematical object mental, and *only* mental, you have to tell me what you assume at the start in the theory. If you chose something physical, then you have to abandon comp, and you have to tell how you relate mental and physical, by using provably non Turing emulable components. You will lose also the explanation of why something physical exist, and why it hurts.In my view, it would be nicer to treat such a question historically.Your position based on your theorem, after all, is one of possiblepositions.

`What do you mean by "my position"? I don't think I defend a position.`

`I do study the consequence of comp, if only to give a chance to a real`

`non-comp theory.`

In your paper to express your position you employ a normal humanlanguage. Hence I believe that that the question about general termsin the human language is the same as about the natural numbers.

? (I can agree and disagree, it is too vague)

Again, the ideal world of Plato was not designed for natural numbersonly.

`Sure. Although it begins with "natural numbers only", and it ended on`

`this, somehow, because the neoplatonists were aware of the importance`

`of numbers and were coming back to Pythagorean form of platonism.`

`Now, with comp, or just with Church thesis, there is a sort of`

`rehabilitation of the Pythagorean view, for the "non natural numbers"`

`reappears in the natural number realm as unavoidable epistemic tools`

`for the natural numbers to understand themselves, and anymore than`

`numbers (and their basic laws) is not just unnecessary, it is that it`

`cannot work without adding some explicit non-comp magic.`

`I am not against non-comp, but I am against any gap-theory, where we`

`introduce something in the ontology to make a problem unsolvable`

`leading to "don't ask" policy.`

Bruno http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.