2007-01-29から1日間の記事一覧

人間が計算不可能なことをしているということは証明不可能?

ぼくは、人間は計算不可能なことをしていると思っているのだけども、そこに至る過程自体が計算不可能なので、論理的で証明可能な説明を与えることはできない気がする。 少なくともぼくは、論理的で証明可能な過程をたどってこういう結論に至っているわけでは…