> On 2 Nov 2018, at 18:06, John Clark <[email protected]> wrote: > > On Fri, Nov 2, 2018 at 4:45 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? I guess you mean in the physical sense. > 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. Bruno > and then there would be no point in listening to your arguments or anybody's > logical argument about anything because mathematics and even logic itself > would be purest form of nonsense. > > > Note that such magic does not change the “theology” [...] > > Sorry, I don't know what you said after that, I fell asleep. > > 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.
