3,264 followers
Q-理論入門 http://t.co/ymTa54kyeT ざっと目を通した。 α-再帰理論が与えられた宇宙を基に計算概念を構築するのと対比すると、Q-理論は、計算概念(Π^1_{2n+1})から宇宙を逆算することから始める、というイメージだろうか。
Q-理論入門 http://t.co/ymTa54kyeT ざっと目を通した。 α-再帰理論が与えられた宇宙を基に計算概念を構築するのと対比すると、Q-理論は、計算概念(Π^1_{2n+1})から宇宙を逆算することから始める、というイメージだろうか。
Q-理論の勉強はじめました: ケクリス-マーティン-ソロヴェイ「Q-理論入門」 http://t.co/ymTa54kyeT ネズミに関するABC http://t.co/TQ3CvUgQnX は難しくて挫折したけど、Q-理論なら辛うじて理解できそう……。
@tri_iro Mouse を使わないで game を使った記述集合論でこの辺のことについて調べたければ,http://t.co/z328mI4EXt, http://t.co/4dUXdQnyJv あたりがヒントになるかもしれません。
@tri_iro Mouse を使わないで game を使った記述集合論でこの辺のことについて調べたければ,http://t.co/z328mI4EXt, http://t.co/4dUXdQnyJv あたりがヒントになるかもしれません。