> On 12 Mar 2020, at 14:07, Lawrence Crowell <goldenfieldquaterni...@gmail.com> > wrote: > > On Wednesday, March 11, 2020 at 11:21:55 PM UTC-5, spudb...@aol.com 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 <goldenfield...@gmail.com <javascript:>> > To: Everything List <everyth...@googlegroups.com <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 everyth...@googlegroups.com <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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CF052D24-CEAE-4532-87DB-7C89AE021AF5%40ulb.ac.be.