On Wednesday, June 19, 2019 at 5:04:26 AM UTC-5, Bruno Marchal wrote: > > > On 18 Jun 2019, at 15:16, Philip Thrift <[email protected] <javascript:>> > wrote: > > In > > *Embodied and disembodied computing at the Turing Centenary:* > *Turing’s Titanic Machine?* > by S. Barry Cooper > > http://www1.maths.leeds.ac.uk/pure/logic/computability/BarryTalks/titanic_CACM.pdf > > > *As Samson Abramsky puts it (private communication communication, 2011):* > *“Turing took traditional mathematical objects, real numbers, functions, > etc. as the things to be computed. In subsequent work in computer science, > the view of computation has broadened enormously. In the work on concurrent > processes, the behavior is the object of interest. There is indeed a lack > of a clear-cut Church-Turing thesis in this wider sphere of > computation—computation as interaction."* > > Add "(embodied) experience" to "interaction". > > So there is a *beyond-CT* suggested in all of this. > > > > With all my respect to Barry Cooper and Samson Abramski, what they show is > that there are other interesting notions, beyond computation. > > The provability notion is typically “beyond CT”, or beyond computation, > but they are Turing emulable, like all interaction-like notion of > computation are Turing emulable. > > And, yes, they are right, those notions does not admit a Church-Thesis. It > is just simpler to not call them computation. Those other notions does not > violate CT, and are often based on CT, more or less explicitly. > > Bruno > > > > > Just as G.Strawson says "matter is a mystery", computation (what is it?) is a mystery, except in the certitude of the *received doctrine* of Church-Turing Thesis.
But "there are other interesting notions, beyond computation" just leads to mysticism it seems, since *what are these "other interesting notions"?* What's an example of one these? I know that neither you nor Cosmin will accept there is such a thing as *experience processing *(with entities - *experiences/qualia irreducible to information/numbers* - because it is *unconventional computing*, something it seems you don't think exists (even though there is an annual conference of it). @philipthrift -- 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/73fc0684-b3ec-4a4f-b1c4-abab3ac63991%40googlegroups.com.
