> On 6 May 2019, at 10:25, [email protected] wrote: > > > > On Sunday, May 5, 2019 at 6:55:37 PM UTC-5, Jason wrote: > > > On Sun, May 5, 2019 at 6:40 PM <[email protected] <javascript:>> wrote: > > I don't have answers to any of these questions, but I do know this: > > The Church-Turing thesis is one of the most useless ideas ever invented. > > > > Is it? It's the reason you can install new apps on your smartphone without > having to buy a new chip or piece of hardware everytime you do. It's why we > can have virtual machines (I am writing this e-mail from a virtual machine) > and emulators. It's why we have the profession of software engineers who need > not care about the hardware in question. > > > > Is the church-Turing thesis true? > > Almost certainly. > > Jason > > Carol E. Cleland > https://philpapers.org/rec/CLEITC <https://philpapers.org/rec/CLEITC> > > > > When I follow a recipe (a program) to make a meal, I mix the identified > ingredients in the specified order and cook according to the specified times. > > The meal is tasty (hopefully). Entering the recipe into a computer (even if > there was some sort of recipe interpreter) does not result in a tasty meal.
That is straw man. A recipe is not an algorithm, even is sometimes it is used as a pedagogical tool to explain what is an algorithm. To refute mechanism, you need to simulate both the recipe, the food and the taster. If there is no magical infinities playing a role in the brain (the mechanist assumption) then the taster will behave like: “Hmm… good, but I would add some salt to make it more tasty”. That does not prove that mechanism is true (the digital taster might be a zombie), but this does refute your argument against Mechanism and Church’s thesis. Bruno > > @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] > <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. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/EE54F377-0085-436A-8C40-9D08048D2279%40ulb.ac.be. For more options, visit https://groups.google.com/d/optout.
