数理逻辑大师们（收藏级4万字长文）

文章预览

小庄编：回顾计算机科学的发展，我们可以清晰地发现，数理逻辑一直是计算机科学的理论基础和发展动力。如果没有这些数理逻辑学家的工作，没有这些计算机科学大师的工作，我们就没有电脑，也就没有网络，我们今天就不能在这里用电脑玩游戏上网收发邮件QQ聊天之类。所以，应该向这些大师致敬！他们是莱布尼兹（同时也是哲学家物理学家），弗雷格（同时也是分析哲学的创始人），希尔伯特（上世纪的大数学家），哥德尔（两个不完全定理提示了人类智力的限度），邱奇（递归论的创始人），图灵（图灵机的创始人现代计算机科学的创始人），麦卡锡（人工智能之父同时也是非经典逻辑的发展者），霍尔（公理语义学的创始人用逻辑来分析程序理论） 莱布尼兹 出生于书香门第的莱布尼兹是德国一位博学多才的学者。他的学识涉及哲学、 ………………………………