ALU capability (was Re: [E-Lang] Authority -- what is its dual?)

[Ben Laurie]

Jonathan A Rees wrote:
> 
>    Date: Thu, 18 Oct 2001 12:26:01 +0100
>    From: Ben Laurie <ben@algroup.co.uk>
> 
>    Hehe - if we're going to pick nits, isn't Church's Thesis unproven? :-)
> 
> It's probably unprovable :-(.

Indeed.

>  But I was referring to his discovery
> that lambda-calculus was computationally universal (which has a
> formally provable meaning in terms of Turing machines),

I know - a long time ago I specialised in mathematical logic.

> not to the
> "thesis".

Ah, my apologies.

Cheers,

Ben.

--
http://www.apache-ssl.org/ben.html

"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff