ホワット・ア・ワンダフル・ワールド チューリングマシンの抽象化の漏れ

ふじさわさんとこの shiro さんのコメントを見て． たぶんこの議論は最初からいろんな要素がごっちゃになってて、私もよく区別せずに乗っかっているのでますます発散しちゃってるんですが…確かに「論理的な意味で下層と独立している」っていう話と、「現実に計算機を使いこなす上でどこまで降りる必要があるか」って話があって、あろはさんのコメントとかは前者だし、性能のチューニングのために中身を知る必要があるとかいうのは後者ですね。 『抽象化の漏れ』 ってのは，良いというか，説明のために便利な言葉だなと． 「世界の究極理論は存在するか - 多宇宙理論から見た生命、進化、時間」 という，量子コンピューティングの偉い人が書いた本がありまして，この本は凄い本過ぎてまだ消化不良なんですけど． んで，この本の内容は，「チューリングマシンという数学的抽象化の漏れについて記述した本」 という風に，この言葉を使うと簡潔に

[dosequis]

「マシン語論争」がらみ