Re: What language will be used to write the first self aware program?

Joe Marshall wrote:
Raffael Cavallaro <raffaelcavallaro@pas-d'espam-s'il-vous-plait-mac.com> writes:

We humans on the other hand can know if we are inside the Matrix ;^).


Pascal Bourguignon wrote:

It's not obvious.


Bill Gosper in HAKMEM notes that we can find out how the Matrix
represents numbers:

ITEM 154 (Gosper):
The myth that any given programming language is machine independent is
easily exploded by computing the sum of powers of 2.
If the result loops with period = 1 with sign +, you are on a
sign-magnitude machine.
If the result loops with period = 1 at -1, you are on a twos-complement
machine.
If the result loops with period > 1, including the beginning, you are
on a ones-complement machine.
If the result loops with period > 1, not including the beginning, your
machine isn't binary -- the pattern should tell you the base.
If you run out of memory, you are on a string or Bignum system.
If arithmetic overflow is a fatal error, some fascist pig with a
read-only mind is trying to enforce machine independence. But the very
ability to trap overflow is machine dependent.
By this strategy, consider the universe, or, more precisely, algebra:
let X = the sum of many powers of two = ...111111
now add X to itself; X + X = ...111110
thus, 2X = X - 1 so X = -1
therefore algebra is run on a machine (the universe) which is
twos-complement.

Amusing, but your math doesn't check.

X = 11111
X + X = 2X = 111110

So where X = 2^Y, 2X = X - 1 + 2^(Y + 1).

--
The science of economics is the cleverest proof of free will yet constructed.
.

Relevant Pages

  • Re: What language will be used to write the first self aware program?
    ... If the result loops with period = 1 at -1, ... If arithmetic overflow is a fatal error, ... By this strategy, consider the universe, or, more precisely, algebra: ...
    (comp.lang.lisp)
  • Re: Integer with base preserved!
    ... The myth that any given programming language is machine independent is ... By this strategy, consider the universe, or, more precisely, algebra: ...
    (comp.lang.lisp)
  • Re: [FTL] Implications of ditching causality?
    ... principles, e.g. if you want to allow causal loops, maybe there are ... rules about what kinds of loops are allowed. ... In a "most probably causal loop" universe, ... In a "high probability ...
    (rec.arts.sf.science)
  • Re: OT- worst programming bug ever
    ... loops. ... and sat there twiddling my thumbs. ... Bear in mind that the universe is only 18 billion ... Surely the hubble telescope, where they put a minus sign where there ...
    (uk.media.tv.misc)
  • Re: OT- worst programming bug ever
    ... On Jun 14, 1:09 pm, "John Rowland" ... loops. ... Bear in mind that the universe is only 18 billion ...
    (uk.media.tv.misc)