<div><br><div class="gmail_quote"><div>On Sat, 1 Jul 2017 at 5:24 pm, Stuart LaForge <<a href="mailto:avant@sollegro.com">avant@sollegro.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
For context, some of you might know that I have been researching consciousness with respect to Turing machines. One of things I am trying to figure out is whether the brain can be mathematically modelled as a Turing machine.<br>
<br>
One characteristic of Turing machines is that they are subject to the Halting Problem. Briefly, the HP is the mathematical proof that there is, in principle, no way to predict whether any given TM<br>
<br>
_______________________________________________<br>
extropy-chat mailing list<br>
<a href="mailto:extropy-chat@lists.extropy.org" target="_blank">extropy-chat@lists.extropy.org</a><br>
<a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat" rel="noreferrer" target="_blank">http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br>
</blockquote></div></div><div dir="auto">The brain is not a Turing machine, but it can be modelled by a Turing machine if the physical Church-Turing thesis is true; that is, if there isn't anything in physics that isn't Turing emulable.</div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature">Stathis Papaioannou</div>