最新記事
本、落合仁司著「数理神学を学ぶ人のために...
2009/11/19(木) 午後 9:14
落合仁司さんは、今まで「ギリシャ正教 無限の神」（講談社）などで、キリスト教の理解には、
現代の集合論がとても役に立つ、という本が多いのですが、数学の解説は、あまりなかったです。
つまり、私のように集合論をある程度知っていて、
...
すべて表示
ペアノの公理系とアドホック理論
2009/11/13(金) 午後 10:45
さて、１つ前
http://blogs.yahoo.co.jp/eidokyuma/30214728.html
で、現在の数学基礎論を研究している人々が、公理的集合論がアドホックな公理系だとは思って
いない根拠とし
...すべて表示
公理的集合論とアドホック理論
2009/11/7(土) 午後 9:37
ええっと紫陽花ペンギン亭主さまの、私にとっての謎の言葉
> ラッセルのタイプ理論で集合論のパラドックスは解決ずみだとおっしゃいますが、わたくしが
> これまで色々読んできた「自己言及のパラドックス」、いわゆる「うそつきパラドッ
...すべて表示
