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.