ペンローズとゲーテル

ペンローズの“量子脳”理論?心と意識の科学的基礎をもとめて 筑摩書房 このアイテムの詳細を見る

を読んでいるのだが，ちょっとわかったことがある．
ゲーテルの不完全性定理なるものを,
どうしてペンローズは語っているのか

すなわち　以下のような議論のようだ

１　ある命題が真である
２　その命題には，証明できないものが含まれる
　（ここまでがゲーテルの不完全性定理）
３　しかし，それが真であることは人間は知っている
４　証明できない＝計算できないということ
５　人間の脳は，計算機ではない
６　なんとなれば計算できないことを人間は真であると理解するから

というようなことらしい
なんとなくわかるようで，天才の言う事は難しい