[FoRK] The WEB-DNA Conjecture

Gregory Alan Bolcer greg at bolcer.org
Mon Jan 13 07:12:45 PST 2014


Ack(42) will always be a computable function beyond the reach of 
primitive recursion.[1]

What that means is you actually need mice and men (and a little 
probabilistic luck), not just silicon.

Greg

[1] Ackermann's function

On 1/13/2014 6:01 AM, Wayne Baisley wrote:
> In which I take self-promotion to a supernatural extreme. It is a silly
> place:
>
> http://craptard.wordpress.com/2014/01/09/93/
>
> "Though I don't think," added Deep Thought, "that you're going to like it."
> _______________________________________________
> FoRK mailing list
> http://xent.com/mailman/listinfo/fork
>

-- 
greg at bolcer.org, http://bolcer.org, c: +1.714.928.5476


More information about the FoRK mailing list