2013-12-01から1日間の記事一覧
数学基礎論、公理主義、直感主義、公理と数学的モデルなどなど、の本を読んでしばらくたったら、証明とは何か、いきなりわかった。 正直、恥ずかしい。いままで、数学が何かを全然わかっていなかった。初めは、数学の証明と、プログラムが似ているという、感…
数学基礎論、公理主義、直感主義、公理と数学的モデルなどなど、の本を読んでしばらくたったら、証明とは何か、いきなりわかった。 正直、恥ずかしい。いままで、数学が何かを全然わかっていなかった。初めは、数学の証明と、プログラムが似ているという、感…
