離散数学の面白い展開はありそうではあるのです。
といのは、現代数学は測度という概念や完備、極限、無限という
概念なしには、成立しません。
しかし、コンピューターは、それらを定義も出来ませんし、そも
そもできるものではありません。
そのときに、どんな数学が展開されるのか。