神は存在する。それが証拠に数学には矛盾がない。悪魔も存在する。それが証拠に我々は数学の無矛盾生を証明できない *タイトル画像は六本木ヒルズからの夜景。。。。

神の視点

数学者がアルゴリズムについて考える場合、ふつう、神の視点から考える。たとえば、数学者が関心を持つのは、ある面白い特性を持ったあるアルゴリズムが「存在すること」または「存在しないこと」の証明だ。それを証明するのに、議論の対象であるアルゴリズム自体を実際に発見する必要はない。

ダニエル・デネット、「ダーヴィンの危険な思想ー生命の意味と進化」、1996年