On 06 Oct 2011, at 23:14, Craig Weinberg wrote:

## Advertising

On Oct 6, 12:04 pm, Bruno Marchal <marc...@ulb.ac.be> wrote:On 04 Oct 2011, at 21:59, benjayk wrote:The point is that a definition doesn't say anything beyond it's definition.This is deeply false. Look at the Mandelbrot set, you can intuit that is much more than its definition. That is the base of Gödel's discovery: the arithmetical reality is FAR beyond ANY attempt to define it.Can't you also interpret that Gödel's discovery is that arithmeticcannever be fully realized through definition?

`The usual model (N, +, *), taught in school, and called "standard`

`model of arithmetic" by logician fully "realize" it, and is definition`

`independent.`

This doesn't imply an arithmetic reality to me at all, it implies 'incompleteness'; lacking the possibility of concrete realism.

`The word "concrete" has no absolute meaning. Comp is "many types---no`

`Token".`

So, the number 17 is always prime because we defined numbers in the way. If I define some other number system of natural numbers where I just declare that number 17 shall not be prime, then it is not prime.No. You are just deciding to talk about something else.I think Ben is right. We can just say that 17 is also divisible by number Θ (17 = 2 x fellini, which is 8.5),

`8.5 is not a 0, s(0), s(s0)), .... You are just calling "natural`

`number" what we usually call rational number. You illustrate my point.`

`You talk about something else, and you should have disagree with the`

`axioms that I have already given.`

and build our number system around that. Like non-Euclidean arithmetic.

`That already exists, even when agreeing with the axioms, of, say,`

`Peano Arithmetic. We can build model of arithmetic where we have the`

`truth of "provable(0=1)", despite the falsity of it in the standard`

`model, given that PA cannot prove the consistency of PA. This means`

`that we have non standard models of PA, and thus of arithmetic. But it`

`can be shown that in such model the 'natural number' are very weird`

`infinite objects, and they do not concern us directly. But "17 is`

`prime" is provable in PA and is thus true in ALL interpretations or`

`models of PA. Likewise, the Universal Dovetailer is the same object in`

`ALL models of PA.`

`All theorems of PA are true in all interpretations of PA (by Gödel's`

`completeness theorem).`

Primeness isn't a reality, it's an epiphenomenon of a particular motivation to recognize particular patterns.

`They have to exist to be able of being recognized by some entities, in`

`case they have the motivation. The lack of motivation of non human`

`animal for the planet Saturn did not prevent it of having rings before`

`humans discovered them.`

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.