> On 5 Nov 2018, at 14:48, John Clark <[email protected]> wrote: > > On Mon, Nov 5, 2018 at 4:39 AM Bruno Marchal <[email protected] > <mailto:[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.
No. He didn’t. You make that up. Bruno > > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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.
