li class="toctree-l1"><a class="reference internal" href="../undecidability/matrixMortality.html">Matrix mortality</a></li>
</ul>
<p aria-level="2" class="caption" role="heading"><span class="caption-text">Applications to Logic</span></p>
<ul class="nav bd-sidenav">
<li class="toctree-l1"><a class="reference internal" href="../logic/church_turing.html">The Church-Turing Theorem via tiling</a></li>



<li class="toctree-l1"><a class="reference internal" href="../logic/CT_via_matrices.html">The Church-Theorem