- Original Message -
From: Russell Standish [EMAIL PROTECTED]
My much hyped paper is now available for review and criticism
(hopefully constructive). The URLs are
http://parallel.hpc.unsw.edu.au/rks/docs/occam/ depending on
Or you mean the Goedelian sentence, i.e. the statement
constructed from the formal system saying that it will not be proved
in the system, in which case you are correct.
I do mean the Goedelian sentence. Sorry!
I am in an all-day training session. I will return to the office on Thursday,
-- Andrew Lias
Mail list logo