以下の主張の数学的、物理的正当性は検証できていません 集合圏Setの圏Univ（当然巨大な圏になる）と多様体の射影の圏Projの関係を考える 集合論の正則性公理（整礎性公理）と巨大基数公理たちはUnivの極限、逆極限 場の量子論では真空の存在（紫外切断）と…

モデル理論と幾何 そもそもモデル理論の動機のひとつが幾何 発想の根幹：第五公準の独立性についてのRiemannの証明 （追記）Hilbertの第四問題と幾何学基礎論「椅子、机、ビアマグ」 範疇性概念を言い出したのはVeblen Tarskiが決定可能な公理系の保存的拡大…

我が家はリフォームしてあるが古い物件であり、遠くの音がよく室内に響くし、寝室は竜鳴きするし、トイレは洗濯機のドラムに共振する。 スピーカーは同じ製品でも経年変化に所有者の音楽の好みが反映して全部出音が違ってくるし、古いギターやヴァイオリン、…