On Saturday, March 14, 2020 at 5:23:53 AM UTC-5, Bruno Marchal wrote: > > > On 12 Mar 2020, at 14:07, Lawrence Crowell <[email protected] > <javascript:>> 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 > > > Quantum computers obey the CT thesis. What might be called black hole computers the same holds. Quantum gravitation is the same, and my essay on FQXi explores this.
LC > > > LC > > >> >> -----Original Message----- >> From: Lawrence Crowell <[email protected]> >> To: Everything List <[email protected]> >> 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/5aa35cd1-1ff2-4c5f-88b6-360ddb734e9a%40googlegroups.com.
