哲学者Edsger W. Dijkstra
Edsger W. Dijkstra
機械は考えることができるのかと問うのは、潜水艦は泳げるのかと問うのとほとんど同じくらい役に立たない。プログラムが実際に何をしているのかを研究するほうがよい。
分析哲学1930 · 2002 オランダロッテルダム
生涯
オランダの計算機科学者（1930-2002）。1972年にチューリング賞を受賞し、アイントホーフェン工科大学、のちにテキサス大学オースティン校で教えた。最短経路アルゴリズム（1956年）を考案し、証明に基づく厳密なプログラミングを主張した。大きな問いに関しては、機械と精神とのあいまいな比較を退けた点で重要である。機械は考えるのかと問うことは、潜水艦は泳ぐのかと問うことと同じくらい無意味だと彼には思われた。
主な著作
1959
グラフに関する二つの問題についての覚え書き
彼の名を冠した最短経路アルゴリズムを記述した論文。
1968
GOTO文は有害であると考えられる
彼は、理解しやすく、正しさを証明しやすい構造化プログラミングを主張する。
1976
プログラミングの規律
彼は、プログラムをその正しさの証明とともに導出する。
本人の言葉
« アラン・M・チューリングは、機械は考えることができるかという問いに決着をつけるための基準について考えた。この問いは、潜水艦は泳げるかという問いとほぼ同程度の意味しかもたないことを、今日の私たちは知っている。 »