数理論理学のAI用語一覧

計算可能性理論

計算可能性理論とは、コンピュータなどの機械によって解くことができる問題と、原理的に解くことが不可能な問題の境界を数学的に明らかにする学問分野です。AIの限界やアルゴリズムの可能性を理解する上での基礎となります。