On 2/6/2012 1:50 AM, Bruno Marchal wrote:

## Advertising

On 05 Feb 2012, at 21:32, meekerdb wrote:On 2/5/2012 8:19 AM, Bruno Marchal wrote:No. All universal numbers can interpret a number as a function on quantities, or asproperties on quantities, which are not quantities themselves. Universal numbers canalso transform, or interpret numbers as transformation of transformation, propertiesof properties, up in the constructive transfinite, etc.When the quantities can add and multiply, soon their attributes are beyond allquantities, and LĂ¶bian quantities are arguably already knowing that about themselves.I don't understand this. Maybe I don't know what universal number is. I thought itwas a number whose representation in digits was such that every number appeared in therepresentation. But I don't understand how such number does things: transform,interpret,...Let phi_i be an enumeration of the (partial and total) computable functions from N to N. Let <x,y> be a bijection from NXN to N.A universal number u is a number u such that, for all x and y, we have phi_u(<x,y>) =phi_x(y).The equality means that the LHS and RHS are either both defined and equal, or bothundefined.

`Thanks. So it is not literally that the number does things, it just picks out the`

`function that is universal for a given bijection and a given enumeration of the functions.`

Brent

u, applied on x and y simulate the machine x on the input y. u is called the computer, xthe program (the machine to be emulated), and y is the datum/data. u interpret x as amachine, and it simulates x behavior on the input y.You can see it as the number-code of a universal machine or programming languageinterpreter.u depends on the choice of the bijection and of the phi_i base, but if you choose (N, +,*) as a universal system, you can make it intrinsic, and for any bijection, you willhave different but equivalent universal numbers. This is not a problem because we haveto consider *all* universal numbers to retrieve the physics and psychology of machines(this will include all such bijection).Bruno http://iridia.ulb.ac.be/~marchal/ <http://iridia.ulb.ac.be/%7Emarchal/> No virus found in this message. Checked by AVG - www.avg.com <http://www.avg.com> Version: 2012.0.1913 / Virus Database: 2112/4791 - Release Date: 02/05/12 --You received this message because you are subscribed to the Google Groups "EverythingList" 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.

-- 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.