Conversation

Notices

1. 拙僧 (sessoh@mstdn.jp)'s status on Sunday, 11-Nov-2018 01:15:26 JST 拙僧

   数学が、多くの人が期待するように、論理的に厳密な学問であれば、有限な論理的記述で表現できるはずなんですよね。ならばプログラミングで表現できるはず。逆に、プログラミングで表現できないのだとしたら、厳密なんてなかった。

   • 酸性雨 and らりお・ザ・何らかの?然㊌ソムリエ repeated this.
   • ねむみ(シーシャ部部員募集中!) (kaznak@mstdn.jp)'s status on Sunday, 11-Nov-2018 01:19:47 JST ねむみ(シーシャ部部員募集中!)

     in reply to

     @sessoh 数学の記述の多くは構成要素の関係を示すものです
     そこで表現される関係が本当に正しいのか検証するためには
     その手順が示されなければなりません
     現代の計算機科学は、手順を自動的にこなす方法を部分的に確立しつつありますが
     全てを計算機にやらせるためにはまだまだいくつものブレークスルーが必要だと思われます

     酸性雨 and らりお・ザ・何らかの?然㊌ソムリエ repeated this.