On 24 Jul 2011, at 22:08, benjayk wrote:

Yes. A tiny part of arithmetic is already sufficiently rich to implement (in the original mathematical sense) very complex emulation bearing entities much powerfull than that tiny arithmetical entities, and those can become lucid on the web of arithmetical dream, which will be, as seen from inside (the points of view), terribly complex, so that paradoxically, the whole of mathematics can only scratch the arithmetical truth. Analytical truth and physical truth are simplification of the arithmetical truth by arithmetical creatures.I think you confuse arithmetical truth with TRUTH.

`That is a consequence of comp. If "we" are machine at some level, then`

`it is absolutely undecidable if there is anything more than`

`arithmetical truth.`

`The analytical truth and the physical truth and the theological truth`

`can be seen as internal "epistemological views". In arithmetic there`

`are defined by Bp, or variants, or by by scheme B_n x & x (x`

`arithmetical formula, B_n being some other LĂ¶bian machine, for example)`

Arithmetics just is able to point to what is beyond it,

You mean PA? OK. That is just a LUM, or Plotinus man.

so from this perspective you can call it arithmetical truth.

`The LUM itself cannot. The LUM will call it God (and get rather`

`miserable for that blasphem).`

But you could call it german truth as well, because german can be used to do this as well (obviously, because it can state everything arithmetic can).

Err.. Yes, but computationalism makes it reciprocal. 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.