哲学・思想

この講演では、計算複雑性理論と哲学の関係について、数学者スコット・アーロンソン教授が包括的に論じている。最大の既知素数の「知られている」という概念から始まり、数値を「知る」ことの異なるレベルについて議論している。ビジーバー関数という計算不可...