Turing tar-pit

名詞

何でも可能だが、興味深いことは何一つ実用的でない場所。Alan Turingは、ある非常に原始的な演算の集合を表現できるすべての機械や言語は、実行できる計算の種類において論理的に等価であり、原理的には最も強力で優雅に設計されたコンピュータと速度においてのみ異なる能力を持つことを示し、コンピュータ科学の基礎を築くのに貢献した。しかし、Turingの原始的な集合と正確に一致する機械や言語は(おそらく教室の演習を除いて)これまで作られたことがない。なぜなら、それは恐ろしく遅く、使うのがあまりにつらすぎるからだ。Turing tar-pitとは、この性質を共有するあらゆるコンピュータ言語やその他のツールである。すなわち、理論上は万能だが、実際には、本物の仕事を成し遂げようともがけばもがくほど、その不十分さに深く引きずり込まれる。bondage-and-discipline languageと比較せよ。
言語AとBのどちらが「最も強力」かをめぐる、永遠のholy wars。