前回、決定問題とはなにか？が理解できた。あらためて、チューリングの論文について考えていく。全ての数学的問題は計算できるのか否か？論文ではそれについて語られており、その反証の道具としてチュ...
チューリングマシンを理解するには、まず「ヒルベルトの決定問題」からだ！というわけで調べているが、決定問題は1928年に書籍で提案されたものらしい。該当の書籍はAmazonでも購入できそう...
計算機に対する自分の知識を基本から見つめ直したい。というわけで、つらつらといろんなことを調べていこうと思う。 チューリングの論文On Computable Numbers, with a...