計算下界の解明—その意義とシナリオ

摘要

「我思う,ゆえに我あり(cogitoergosum)」は,思考による真理の追究と人間の存在価値にかかわるデカルトの有名な言葉である.一方「汝計算す,ゆえに汝あり」であるコンピュータは,その高速な計算能力により人間の思考を補佐する.「思う我」と「計算する汝」がどうかかわるかは,情報社会での基本的な問題である.