Saturday, February 21, 2009

Is 'heterologous' heterologous? Goedel and Turing and Epimenides, oh my!

This blog post is fallacious.

Suppose 93179747 were prime, and somehow managed to encode the logical proposition, "statement 93179747 is false." Imagine a flowchart which uses a putative solution to the halting problem to loop indefinitely on presentation of any program the logic of which would cause *it* to terminate naturally, and within a predictable interval -- and conversely. Imagine all the lonely people, living lives of peace. Or lies of Epimenides. Imagine this paragraph could be construed to have semantic content, and not to be ill-formed.

The first statement of this entry post is semantically ill-formed. Or not.

This statement is not the last, but it should be.

No comments:

Post a Comment