> On 12 Mar 2020, at 14:07, Lawrence Crowell <[email protected]> > wrote: > > On Wednesday, March 11, 2020 at 11:21:55 PM UTC-5, [email protected] wrote: > You're ignoring quantum and photonic computing??!! > > > No, quantum computing does not even map NP problems into P. I does not get > around incompleteness results of Turing and Goedel.
That’s right. In fact super-hyper-machine does not escape incompleteness and can even be super-hyper-incomplete.Using the infinite to escape Gödel incompleteness does not work, or becomes trivial. I will consider admitting the infinite in the ontology the day I got an infinite salary :) Even the induction axioms are not allowed in the ontology, despite being the main axiom about what is an observer. Quantum computing (and I guess photonic computing) does not violate the Church-Turing thesis. David Deustch saw this clearly already in its main quantum computability paper. Bruno > > LC > > > -----Original Message----- > From: Lawrence Crowell <[email protected] <javascript:>> > To: Everything List <[email protected] <javascript:>> > Sent: Wed, Mar 11, 2020 10:31 am > Subject: Re: Reachability for infinite -time Turing machines with long tapes > > On Tuesday, March 10, 2020 at 10:16:38 AM UTC-5, Philip Thrift wrote: > > https://arxiv.org/abs/1802. 05734 <https://arxiv.org/abs/1802.05734> > > @philipthrift > > It looks to be a version of the busy beaver problem. The scale of the problem > grows beyond computable bounds. > > LC > -- > 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] <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/78b7f972-953b-48a2-94b3-112693535723%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/78b7f972-953b-48a2-94b3-112693535723%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/1c06645a-2f80-44ee-9d49-6a179e8a7892%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/1c06645a-2f80-44ee-9d49-6a179e8a7892%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CF052D24-CEAE-4532-87DB-7C89AE021AF5%40ulb.ac.be.
