Re: Alan Turing's Halting Problem is Incorrect (FINAL PART)

From: Acme Diagnostics (LFinezapthis_at_partpostmark.net)
Date: 07/11/04 

Date: 11 Jul 2004 03:24:12 -0500

Chris Menzel <cmenzel@remove-this.tamu.edu> wrote:
>On 11 Jul 2004 01:18:32 GMT, Chris Menzel <cmenzel@remove-this.tamu.edu> said:
>> A paradox is an argument in which a contradiction follows from
>> premises that we find intuitively true. Genuine paradoxes are
>> disturbing, as they show that one has a false belief, as true premises
>> cannot entail a contradiction.
>
>Not well put -- in the usual case it's not at all disturbing to find
>that one has a false belief; that happens all the time. What's
>disturbing in the case of a paradox is that something one finds
>*intuitively true* -- and hence something one would not otherwise give
>up -- is false. One therefore knows that one has to have made some sort
>of conceptual error; but the source of the error is not transparent.

I have always just called any cute logic impossibility a "paradox."
Like Zeno's Paradox, Liar's Paradox, the three "paradoxes" or
unsolvable "puzzles" Daryl posted a while back like the number of 5's
in the box, entertaining impossibilities in logic puzzle books, and the
entertaining logic reversal in the diagonal.c program like "If it
returns yes, it's no, and if it returns no, it's yes." What would be
the all-inclusive term? Logical impossibility seems too wide, i.e. lots
of impossibilities would not be similar to entertaining contradictions
or unsolvable puzzles. Please don't spend a lot of time on it.

Larry

Relevant Pages

  • Re: ZFC is proven to be inconsistent
    ... I asked you to prove the Skolem paradox is a contradiction ... the very axioms which prove the existence of uncountable sets be satisfie ... cardinality of the real numbers exceeds the cardinality of the naturals ...
    (sci.logic)
  • Re: Indefinite Extensibility and Computationalism
    ... Your argument is too fuzzy to take seriously without clarification. ... It's not enough to agree that "heterological" leads to a contradiction, ... That leads to a contradiction. ... A paradox can be provoked by the assumption that a concept ...
    (sci.logic)
  • Re: Mathematicians are in deep shit for 2 reasons
    ... Because in idiomatic English a person saying ... "Skolem's Paradox sounds like a contradiction" ... You mean, "it sounds like a contradiction, although it's not one", ... So, while Skolem's Paradox sounds like an antinomy, it is in fact ...
    (sci.logic)
  • Re: This sentence is not true
    ... The Three Cards Paradox. ... You can check that this is a paradox. ... This Boolean system has no solution. ... contradiction proves there is no solution', ...
    (sci.logic)
  • Re: Question from Analysis book
    ... every nonblack nonraven object is evidence for the ... Note that I am using "paradox" in its main sense of ... the restricted sense of "leading to a logical contradiction". ... constitute evidence for the statement "all ravens are black", ...
    (sci.math)