>>99
>人間機械論を否定したゲーデルの論文があると聞いた。

岩波の文庫本だったか啓蒙的な本を読んだだけなので詳しいことは
わからないけど、ゲーデルの趣旨は多分、以下のようなことだろうと
想像する(この想像が間違っていることも大いに有り得る)。

不完全性定理は機械には証明できない。よってそれを証明した
人間(ゲーデル)は機械では有り得ない。