Similar to ビジービーバー

• 

  アッカーマン関数

  Ackermann function
  
• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  ▲1 trends

  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  計算可能数

  Computable number
  
• 

  チューリング完全

  Turing completeness
  ▼-4 trends

  
• 

  停止性問題

  Halting problem
  
• 

  Μ再帰関数

  General recursive function
  
• 

  Smn定理

  Smn theorem
  
• 

  Axiom (数式処理システム)

  Axiom (computer algebra system)
  
• 

  CR多様体

  CR manifold
  
• 

  13

  13 (number)
  
• 

  19

  19 (number)
  
• 

  40

  40 (number)
  
• 

  50

  50 (number)
  
• 

  70

  70 (number)
  
• 

  12345679

  
• 

  計算理論

  Theory of computation
  
• 

  EDVACに関する報告書の第一草稿

  First Draft of a Report on the EDVAC
  
• 

  一階述語論理

  First-order logic
  
• 

  後向き連鎖

  Backward chaining