http://metabolomics.jp/mediawiki/index.php?action=history&feed=atom&title=Aritalab%3ALecture%2FAlgorithm%2FChurchs_Thesis 2026-04-09T04:23:13Z Revision history for this page on the wiki MediaWiki 1.19.1 http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Algorithm/Churchs_Thesis&diff=254125&oldid=prev 2011-12-19T11:03:44Z

<p>moved <a href="/mediawiki/index.php?title=Aritalab:Lecture/Algorithm/Church%27s_Thesis&amp;action=edit&amp;redlink=1" class="new" title="Aritalab:Lecture/Algorithm/Church's Thesis (page does not exist)">Aritalab:Lecture/Algorithm/Church&#039;s Thesis</a> to <a href="/wiki/Aritalab:Lecture/Algorithm/Churchs_Thesis" title="Aritalab:Lecture/Algorithm/Churchs Thesis">Aritalab:Lecture/Algorithm/Churchs Thesis</a></p> <table class='diff diff-contentalign-left'> <tr valign='top'> <td colspan='1' style="background-color: white; color:black;">← Older revision</td> <td colspan='1' style="background-color: white; color:black;">Revision as of 11:03, 19 December 2011</td> </tr></table>

Adm http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Algorithm/Churchs_Thesis&diff=254124&oldid=prev 2011-10-31T05:28:22Z

<p>Created page with &quot;==チャーチの定立== 計算という概念を、帰納的関数と呼ばれる関数のクラスに属することと同一視しよう、という主張をしたのが Alo...&quot;</p> <p><b>New page</b></p><div>==チャーチの定立==<br /> <br /> 計算という概念を、帰納的関数と呼ばれる関数のクラスに属することと同一視しよう、という主張をしたのが Alonzo Church です。その主張は英語で Church's Thesis になりますが、証明できることではないので日本語では定立（ていりつ）とか提唱とか呼ばれます。帰納的関数のクラスはチューリングマシンが計算出来る関数のクラスとも一致します。<br /> <br /> ;参考<br /> * Stanford 大学 [http://plato.stanford.edu/entries/church-turing Church-Turing の提唱]</div>

Adm