Similar to ビザンチン将軍問題

• 

  コルモゴロフ複雑性

  Kolmogorov complexity
  
• 

  再帰

  Recursion
  ▲1 trends

  
• 

  自己言及

  Self-reference
  
• 

  述語論理

  Predicate logic
  
• 

  数学基礎論

  Foundations of mathematics
  
• 

  スーダン関数

  Sudan function
  
• 

  漸化式

  Recurrence relation
  
• 

  相互再帰

  Mutual recursion
  
• 

  竹内関数

  Tak (function)
  
• 

  チャイティンの定数

  Chaitin's constant
  
• 

  チャーチ＝チューリングのテーゼ

  Church–Turing thesis
  
• 

  チューリング完全

  Turing completeness
  
• 

  停止性問題

  Halting problem
  
• 

  ノモグラム

  Nomogram
  
• 

  ハイパーコンピュータ

  Hypercomputation
  
• 

  ビジービーバー

  Busy beaver
  ▼-1 trends

  
• 

  非同期セル・オートマトン

  Asynchronous cellular automaton
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  前向き連鎖

  Forward chaining
  
• 

  マルコフアルゴリズム

  Markov algorithm
  
• 

  Μ再帰関数

  General recursive function
  
• 

  文字列書き換え系

  Semi-Thue system
  
• 

  領域理論

  Domain theory
  
• 

  ワンのタイル

  Wang tile
  
• 

  ActivityPub

  ActivityPub
  
• 

  Amoeba (オペレーティングシステム)

  Amoeba (operating system)
  
• 

  AT Protocol

  AT Protocol
  
• 

  CAP定理

  CAP theorem