ペンローズの「意識には計算できない要素がある」との主張は否定されていない。
また、ゲーデルの不完全性定理は、現実世界が一つの公理系では記述できない
ことを示している。