Similar to 数学基礎論
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
計算可能関数
Computable function
計算複雑性理論
Computational complexity theory
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)再帰
Recursion
述語論理
Predicate logic
2型糖尿病
Type 2 diabetes
3の平方根
Square root of 34次元
Four-dimensional space
5の平方根
Square root of 5
5次元
Five-dimensional space
6次元
Six-dimensional spaceBPP (計算複雑性理論)
BPP (complexity)
E8 (数学)
E8 (mathematics)
N連結
Homotopical connectivity
QRコード
QR code
Z検定
Z-test
AI (歌手)
Ai (singer)愛着障害
Attachment disorder
リチャード・アスキー
Richard Askey
アトキンスダイエット
Atkins diet
M系列
Maximum length sequence
