电脑其实就是符号逻辑推理机械化，自动化，

闹了半天就是康托尔，三级无穷大，离散数学的伟大发现者，你这个名字翻译得太

离谱，