On Mon, Nov 5, 2018 at 4:39 AM Bruno Marchal <[email protected]> wrote:
*>>> No Turing machine can solve the halting problem. You are right on >>> this. But an oracle can, or a machine with infinite speed can.* >> >> >>If such a oracle could exist > > > *In what sense?* > Whoever said there is no such thing as a stupid question was wrong. >>then logical contradictions could too > > > > *That does not follow. I don’t think that there are any evidence for > such oracle in nature, but such existence would not introduce any > contradiction.* > For god's sake! There is no evidence fire breathing dragons exist in nature but if one did it would not produce a logical contradiction, however Turing proved over 80 years ago that a oracle that could solve the Halting Problem would. John K Clark -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
