• 国立公園管理事務局
  • settings
  • 計算複雑性理論
  • スラム
  • FormalizedFormalLogic/Foundation
  • Weihrauch還元
  • 否定翻訳
  • ダイアレクティカ解釈
  • P = NPは相対化不能
  • Δᵇᵢ-論理式の帰納法図式
  • 解釈可能性に関する第二不完全性定理
  • Zürich Fried Chicken
  • Scriabin, Waltz in F minor
  • サンギータラトナーカラ
  • E. Nelson, 𝔼𝕃𝔼𝕄𝔼ℕ𝕋𝕊
  • Immerman-Szelepcsényiの定理
  • p.c.
  • 低基底定理
  • The Type Theory of Lean
  • FormalizedFormalLogic/Incompleteness