<div dir="ltr">Cari Tutti, Alex, Lou,<div>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?</div><div>Grazie.</div><div>Francesco</div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-05-06 7:21 GMT+02:00 Alex Hankey <span dir="ltr"><<a href="mailto:alexhankey@gmail.com" target="_blank">alexhankey@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">By the way, the argument below <div>was sent to me by Lou Kauffman.</div><div><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 4 May 2016 at 20:11, Alex Hankey <span dir="ltr"><<a href="mailto:alexhankey@gmail.com" target="_blank">alexhankey@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Dear Fis Colleagues, <div><br></div><div>I received this comment on Lucas's argument that seems to me short and sweet,</div><div>so I am posting it for our general edification. </div><div><br></div><div>Best wishes,</div><div><br></div><div>Alex</div><div><br><div class="gmail_quote">---------- Forwarded message ----------<br><br><div style="word-wrap:break-word"><span><div>“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!<br></div><div><br></div><div>But so many people imagine that we could be nothing more than mechanisms that the Lucas-Godelian argument is helpful.</div><div><br></div></span><div>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.)</div><span><div><br></div><div>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. </div><div><br></div></span><div>And I then apply the Godel argument to T, producing a Theorem G that T cannot prove, but that I can prove. </div><div><br></div><div>But I am identical with T. SO this is a contradiction.</div><span><div>We have contradicted that I am a CTM.</div><div>Therefore I am not a CTM.</div><div><br></div></span><div>I cannot be a Consistent Turing Machine.</div><span><div>If I am consistent then I am not a Turing machine.</div><div>Otherwise I might be an inconsistent Turing machine.<br></div><div><br></div><div>The argument shows that I must be consistent in order to conclude that I am not a Turing machine. </div><div><br></div><div>I believe that I am consistent.</div><div>I conclude that I am not a consistent Turing machine.</div><div>And being consistent, I am not an inconsistent Turing machine.</div><div><br></div><div>Therefore, I am not a Turing machine.</div></span></div></div><br clear="all"><div>(P.S. Another champion of the Lucas viewpoint is Roger Penrose in his books </div><div>“The Emperor’s New Mind” and “Shadows of the Mind”.)</div><span><div><br></div>-- <br><div><div dir="ltr"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Alex Hankey M.A. (Cantab.) PhD</span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"> (M.I.T.)<br>Distinguished Professor of Yoga and Physical Science,<br>

SVYASA, Eknath Bhavan, 19 Gavipuram Circle<br>
Bangalore 560019, Karnataka, India  <br>Mobile (Intn'l): <a href="tel:%2B44%207710%20534195" value="+447710534195" target="_blank">+44 7710 534195</a> </span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"></span><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Mobile (India) +91 900 800 8789</span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div style="font-size:12.8px">____________________________________________________________</div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><br></span></div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><a href="http://www.sciencedirect.com/science/journal/00796107/119/3" style="color:rgb(17,85,204)" target="_blank">2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy</a></span></div></span></div></div></div></div>
</span></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div><div dir="ltr"><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Alex Hankey M.A. (Cantab.) PhD</span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"> (M.I.T.)<br>Distinguished Professor of Yoga and Physical Science,<br>

SVYASA, Eknath Bhavan, 19 Gavipuram Circle<br>
Bangalore 560019, Karnataka, India  <br>Mobile (Intn'l): <a href="tel:%2B44%207710%20534195" value="+447710534195" target="_blank">+44 7710 534195</a> </span><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"></span><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">Mobile (India) +91 900 800 8789</span></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse"><div style="font-size:12.8px">____________________________________________________________</div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><br></span></div><div style="font-size:12.8px"><span style="font-family:georgia,serif"><a href="http://www.sciencedirect.com/science/journal/00796107/119/3" style="color:rgb(17,85,204)" target="_blank">2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy</a></span></div></span></div></div></div></div>
</div></div></div></div>
<br>_______________________________________________<br>
Fis mailing list<br>
<a href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a><br>
<a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a><br>
<br></blockquote></div><br></div>