RT @BenediktLoewe: @tTikitu The original Cabal volumes have been digitised by @SpringerMath quite a while ago and are here: Cabal 1976-77:…
16,440 followers
607 followers
@tTikitu The original Cabal volumes have been digitised by @SpringerMath quite a while ago and are here: Cabal 1976-77: https://t.co/4wG26f0Iks Cabal 1977-79: https://t.co/qOA8OReMxt Cabal 1979-81: https://t.co/cMVtHAszLA Cabal 1981-85: https://t.co/rv
992 followers
3,264 followers
Q-理論入門 http://t.co/ymTa54kyeT ざっと目を通した。 α-再帰理論が与えられた宇宙を基に計算概念を構築するのと対比すると、Q-理論は、計算概念(Π^1_{2n+1})から宇宙を逆算することから始める、というイメージだろうか。