算術を公理化しようとすると、それが真実であることが我々には“わかる”にもかかわらず、事実である事を形式的には決して証明できない事があることを証明した。

第１不完全性定理は「いかなる論理体系において、その論理体系によって作られる論理式のなかには、証明する事も反証することもできないものが存在する。」というもの。

第２不完全性定理は「いかなる論理体系でも無矛盾であるとき、その無矛盾性をその体系の公理系だけでは証明できない」というものである。

この定理はコンピューターの分野でも人工知能の実現性と不可分である。

この定理の延長線上に人工知能は作成できないが、「機械にできること」と「人間にしかできないこと」を再考する為の一つの原点ということができる。

ZZ：この不完全性定理がペンローズの量子脳理論の基礎になる。

HOME

ご意見はparadigm@dreamドットコムまで