Cari Tutti, Alex, Lou, mi permetto di far notare che bisogna distinguere o non confondere: macchine, meccanismi e meccanicamente. Dire che non siamo macchine è una cosa ovvia, ma sostenere che gli uomini non devono ragionare meccanicamente non è per niente ovvio. Non Vi pare? Grazie. Francesco
2016-05-06 7:21 GMT+02:00 Alex Hankey <alexhan...@gmail.com>: > By the way, the argument below > was sent to me by Lou Kauffman. > > On 4 May 2016 at 20:11, Alex Hankey <alexhan...@gmail.com> wrote: > >> Dear Fis Colleagues, >> >> I received this comment on Lucas's argument that seems to me short and >> sweet, >> so I am posting it for our general edification. >> >> Best wishes, >> >> Alex >> >> ---------- Forwarded message ---------- >> >> “Proving” that we are not machines is somewhat quixotic from my point of >> view, in that it should be obvious that we are not machines! >> >> But so many people imagine that we could be nothing more than mechanisms >> that the Lucas-Godelian argument is helpful. >> >> But let us look at this argument. We start by assuming that I am a >> consistent Turing machine (CTM) (consistency being needed to apply Godel’s >> Theorem.) >> >> If I am a CTM, then I can be completely specified by at text T which I >> put out on the table here in front of me. >> >> And I then apply the Godel argument to T, producing a Theorem G that T >> cannot prove, but that I can prove. >> >> But I am identical with T. SO this is a contradiction. >> We have contradicted that I am a CTM. >> Therefore I am not a CTM. >> >> I cannot be a Consistent Turing Machine. >> If I am consistent then I am not a Turing machine. >> Otherwise I might be an inconsistent Turing machine. >> >> The argument shows that I must be consistent in order to conclude that I >> am not a Turing machine. >> >> I believe that I am consistent. >> I conclude that I am not a consistent Turing machine. >> And being consistent, I am not an inconsistent Turing machine. >> >> Therefore, I am not a Turing machine. >> >> (P.S. Another champion of the Lucas viewpoint is Roger Penrose in his >> books >> “The Emperor’s New Mind” and “Shadows of the Mind”.) >> >> -- >> Alex Hankey M.A. (Cantab.) PhD (M.I.T.) >> Distinguished Professor of Yoga and Physical Science, >> SVYASA, Eknath Bhavan, 19 Gavipuram Circle >> Bangalore 560019, Karnataka, India >> Mobile (Intn'l): +44 7710 534195 >> Mobile (India) +91 900 800 8789 >> ____________________________________________________________ >> >> 2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, >> Mathematics and Phenomenological Philosophy >> <http://www.sciencedirect.com/science/journal/00796107/119/3> >> > > > > -- > Alex Hankey M.A. (Cantab.) PhD (M.I.T.) > Distinguished Professor of Yoga and Physical Science, > SVYASA, Eknath Bhavan, 19 Gavipuram Circle > Bangalore 560019, Karnataka, India > Mobile (Intn'l): +44 7710 534195 > Mobile (India) +91 900 800 8789 > ____________________________________________________________ > > 2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, > Mathematics and Phenomenological Philosophy > <http://www.sciencedirect.com/science/journal/00796107/119/3> > > _______________________________________________ > Fis mailing list > Fis@listas.unizar.es > http://listas.unizar.es/cgi-bin/mailman/listinfo/fis > >
_______________________________________________ Fis mailing list Fis@listas.unizar.es http://listas.unizar.es/cgi-bin/mailman/listinfo/fis