復刊投票コメント一覧
数学の基礎
全17件
数学は完全に公理化され、形式化されるといわれるが、現実に
そのような体系をみたことがない。
たしかに、数学は述語論理に数学の公理をつけくわえれば、数学を作ることができる。
ここから、演繹体系を形式化していけば、数学の形式的体系をつくることができるはずである。
しかし、それを実行した本を見たことがない。
ところが、この本は、それを実行しているといううわさである。
そこで、数学の形式体系のすがたを確認したいから、復刊おねがい。
2008/07/06
数学は完全に公理化され、形式化されるといわれるが、現実に
そのような体系をみたことがない。
たしかに、数学は述語論理に数学の公理をつけくわえれば、数学を作ることができる。
ここから、演繹体系を形式化していけば、数学の形式的体系をつくることができるはずである。
しかし、それを実行した本を見たことがない。
ところが、この本は、それを実行しているといううわさである。
そこで、数学の形式体系のすがたを確認したいから、復刊おねがい。
2008/07/06
図書館から借りて読みました。
数体系を基礎から組み上げていくという趣旨の本は、他にも何冊かありますが、私が知っている中ではこの本がもっともまとまった内容だと思えました。
2004/11/18
図書館から借りて読みました。
数体系を基礎から組み上げていくという趣旨の本は、他にも何冊かありますが、私が知っている中ではこの本がもっともまとまった内容だと思えました。
2004/11/18