Similar to 不動点コンビネータ
コルモゴロフ複雑性
Kolmogorov complexity自己言及
Self-referenceスーダン関数
Sudan function漸化式
Recurrence relation▲1 trends竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチャーチ=チューリングのテーゼ
Church–Turing thesisチューリング完全
Turing completeness停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithmワンのタイル
Wang tile理論計算機科学
Theoretical computer scienceカリー=ハワード同型対応
Curry–Howard correspondenceグスタフソンの法則
Gustafson's lawクヌース賞
Knuth Prize計算木論理
Computation tree logic形式言語
Formal language形式言語の階層
公理的意味論
Axiomatic semantics失敗による否定
Negation as failure弱文脈依存言語
Mildly context-sensitive grammar formalismロジャー・シャンク
Roger Schank