>>65
>「自然という書物は、数学の言葉で書かれている」
>でもその自然の中で数字で書かれてないモンが一つだけありますやん?
>『自分の頭の中』

ゲーデルによる自然数論へのコード化の考え方を使うと
『自分の頭の中』も数字で書かれることになる
つまり脳はコンピュータと同じで思考は計算と同じ

ホフスタッターの「ゲーデル・エッシャー・バッハ」で書かれてるのはそんな話
あれはぶ厚い本だけど、中身は数学書よりは全然気楽に読めるよ