2013-05-21から1日間の記事一覧
定理証明システムは巷で言われるようなプログラムや約款?の検証ツールではなく,あくまで計算機上に数学の理論を公理論的に構成する為のものです. しかしながら,数学の人間はこうしたソフトをあまり(というか全く)利用していないのが現状であり,その理…
定理証明システムは巷で言われるようなプログラムや約款?の検証ツールではなく,あくまで計算機上に数学の理論を公理論的に構成する為のものです. しかしながら,数学の人間はこうしたソフトをあまり(というか全く)利用していないのが現状であり,その理…