ホフスタッター師のクヌース先生批判 - moroshigeki's blog

文字や文字コード、フォント関係の議論であまり指摘されていない気がするのでメモ的に書いておくと、GEB*1で有名な自己言及ヲタのホフスタッター師は、あまり有名じゃない？『メタマジック・ゲーム』*2のなかでクヌース先生のMETAFONT論文の批判を行っている。特に第13章「メタフォント、メタ数学、そしてメタ思考」とその周辺。 クヌース先生の本*3もホフスタッター師の議論もちゃんと読んでないので単なるメモなのだが、クヌース先生は、 ありとあらゆる「A」という文字の形の下に唯一究極的な抽象形「A」が存在し、それを有限個のパラメータをもったアルゴリズムとして記述できる。――有限個のノブのついたソフトウェア機械と呼べるようなものの存在。 そして考えうるすべての個々の「A」は、この機械のノブをある値に合わせることによって得られるということ。 と主張しているらしい（p. 248）。唯一究極的な抽象形「A」

[mojiura]

む、むずかしい……。この「はるか上空を飛び交っているような議論」は、「私たちが日常的に手にしている文字」のために、本当に必要なものなのでしょうか？、と思ってしまうのですが……。

[funaki_naoto]

「文字の精神」