黎明期から計算機を学ぼうとすると、計算機の起源はどこなのかという問いが生まれてくる。ENIACではないぞ。人類は真空管を手に入れる前から何とかして機械に計算をさせようと試みてきた
@Holyithylene そこらへんの歴史は詳しくないので この辺りってのは言えないですが、数理論理学自体が20世紀に出てきた分野のはずなので、そんなに昔のことではなさそうです
-
-
@fadis_ チューリングマシンが出てきたとき、あれが機械のかたちをとっていたのが画期的だったのかどうか、っていうのがひとつのラインになるのでしょうか。Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.