Le lun. 5 nov. 2018 à 14:48, John Clark <[email protected]> a écrit :
> 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. > It does not, it "solves" it for turing machines... it does not for turing machine + oracle... there is no contradiction. > 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. > -- All those moments will be lost in time, like tears in rain. (Roy Batty/Rutger Hauer) -- 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.
