On 03 Nov 2012, at 11:58, Roger Clough wrote:
Hi Bruno Marchal
I think in computationalism you only have to be able
to say that the result is arithmetically or algebraically
true. Arithmetic truth is what you seek.
However, I still have yet to know if a particular
computation seems true to y
Hi Bruno Marchal
I think in computationalism you only have to be able
to say that the result is arithmetically or algebraically
true. Arithmetic truth is what you seek.
However, I still have yet to know if a particular
computation seems true to your 1p. That would be
1p truth. Does the arithme
2 matches
Mail list logo