On 29 Oct 2012, at 14:36, Stephen P. King wrote:
So numbers are universal and can be treated
mathematically as always.
I agree, but the concept of numbers has no meaning prior to the
existence of objects that can be counted. To think otherwise is
equivalent to claiming that unspecified statements are true or false
even in the absence of the possibility of discovering the fact.
I think you confuse numbers, and the concept of numbers.
And then your argument is not valid, as with numbers, the miracle is
that we can specify the concept of numbers, as this result in defining
some arithmetical sigma_1 complete theory in terms of 0, s(0), ... and
the laws of addition and multiplication, that everybody understands
(unless philosophers?).
Bruno
PS BTW, from a computer scientist perspective, your use of NP never
succeed to make sense. I don't dare to ask you to elaborate, as I am
afraid you might aggravate your case. The NP question is fundamental
and has many interesting feature, but it concerns a local tractability
issue, and is a priori, unless justification, not relevant for the
arithmetical body issue, nor number's theology (including physics)
issue, etc.
When you say:
<<
Yes, this is the Pre-Established Harmony, but as I have argued
before this concept is deeply flawed because it tries to claim that
the solution to NP-Hard problem (of choosing the best possible
world) is somehow accessible (for the creation of the monads by God)
prior to the availability of resources with which to actually
perform the computation of the solution. One cannot know the content
of a solution before one computes it, even if one is omniscient!
>>
I don't find any sense. I hope you don't mind my frankness. I wouldn't
say this if I did not respect some intuition of yours. But math and
formalism can't be a pretext for not doing the elementary reasoning in
the philosophy of mind. If you use math, you have to be clearer on the
link with philosophy or theology. To be understandable by others.
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.