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