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

21世紀の科学は計算不可能性の科学

20世紀はゲーデル数、チューリングマシン、ノイマン型コンピュータから爆発的に発達した計算機による計算の科学の時代でした。 計算機の力で、語りうるものに関してどんどん語った時代です。 残されたのは、量子力学と一般相対性理論の融合とか、意識の問題…