2006-04-11から1日間の記事一覧
数学は抽象的対象を定義して、その定義に含まれている複雑な内容を、形式論理で解きほぐしていって単純化する学問だ。いくつかの単純な公理という出発点から、形式論理だけで複雑な内容が導き出せるというのが、数学の驚くべき特性だろう。数学には仮説実験…
数学は抽象的対象を定義して、その定義に含まれている複雑な内容を、形式論理で解きほぐしていって単純化する学問だ。いくつかの単純な公理という出発点から、形式論理だけで複雑な内容が導き出せるというのが、数学の驚くべき特性だろう。数学には仮説実験…