Re: In search of the perfect Disassembler

wolfgang kern wrote: 

(it's very important to observe that the statement of the standard form of
Gödel's First Incompleteness Theorem is completely unconcerned with the question
of truth, but only concerns the issue of provability).

It does concern truth. It is only interesting because it proves the unprovability of some *true* statements.

--
Thomas M. Sommers -- tms@xxxxxx -- AB2SB

.

Relevant Pages