On Tue, May 29, 2007 at 03:05:52PM +0200, Bruno Marchal wrote:
>
>
> Of course many things depends on definitions, but I thought it was
> clear that I consider that any theorem prover machine, for a theory
> like ZF or PA, is already self-aware. And of course such theorem prover
> already ex
Le 26-mai-07, à 22:32, Russell Standish a écrit :
>
> On Fri, May 25, 2007 at 04:00:40PM +0200, Bruno Marchal wrote:
>>
>>
>> Le 25-mai-07, à 04:12, Russell Standish a écrit :
>>
>>> I don't think anyone yet has managed a self aware formal system,
>>
>> I would say all my work is about that. You
2 matches
Mail list logo