Similar to 閉世界仮説

• 

  数学基礎論

  Foundations of mathematics
  
• 

  数理論理学

  Mathematical logic
  
• 

  双模倣性

  Bisimulation
  
• 

  チューリングマシン

  Turing machine
  ▲1 trends

  
• 

  デジタル物理学

  Digital physics
  
• 

  表明 (プログラミング)

  Assertion (software development)
  
• 

  ファジィ論理

  Fuzzy logic
  
• 

  二人の将軍問題

  Two Generals' Problem
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  部分観測マルコフ決定過程

  Partially observable Markov decision process
  
• 

  プログラム意味論

  Semantics (computer science)
  
• 

  ホーン節

  Horn clause
  
• 

  マルコフ決定過程

  Markov decision process
  
• 

  モデル検査

  Model checking
  
• 

  ヨセフスの問題

  Josephus problem
  
• 

  ラフ集合

  Rough set
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  数学

  Mathematics
  ▲1 trends

  
• 

  0.999...

  0.999...
  ▼-1 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯
  
• 

  1+2+3+4+…

  1 + 2 + 3 + 4 + ⋯
  
• 

  1+2+4+8+…

  1 + 2 + 4 + 8 + ⋯
  
• 

  1の冪根

  Root of unity
  
• 

  1の補数

  Ones' complement