哲学证成与机器编程

徐老师这是吧看理想的那门课中的一个环节的文稿整理成书了哈哈。简明有趣，突出了哲学论证中最有趣的部分，点赞。