<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"><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><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><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><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><div>We have contradicted that I am a CTM.</div><div>Therefore I am not a CTM.</div><div><br></div><div>I cannot be a Consistent Turing Machine.</div><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></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><div><br></div>-- <br><div class="gmail_signature"><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): +44 7710 534195 </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>