数理論理学（数学基礎論）　その14

4 ：１３２人目の素数さん：2019/03/22(金) 21:40:24.58 ID:EWzYRJ4u.net

計算機科学はチューリングマシンをイデア的に捉える
論理学は一階述語論理を人の論理の形式化とする
数学はチューリングマシンも一階述語論理も集合とする