# Re: Numbers in Leibniz

```
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
For more options, visit this group at

```