2018年9月20日下午2点，第77期九九沙龙在上海大学东区社科学部大楼304会议室召开。本次沙龙由戴益斌老师主持，复旦大学杨睿之老师主讲，另外还有沈学君老师和刘冰两位老师以及哲学系的各年级学生参加沙龙。
       本次沙龙的主题是"阿兰图灵对计算的刻画"。报告伊始，杨老师指出，"人总是在和他者的比较中认识到自己"。在现代社会中，机器则是"他者"的一个重要候选物。换句话说说，要想认识人类本身，如何区别人与机器则是一个重要议题。在此基础上，杨老师以人的计算能力为切入点，讨论如何理解人的计算能力与机器的计算。
       杨老师指出，刻画对计算概念的理解，存在三种不同的等价理论。其中，图灵的工作最为直观。图灵对计算的刻画是通过图灵机给出的。图灵机有以下几个预设：1.双向无限纸带；2. 有穷字母表；3. 有穷内部状体；4.有穷指令集。它的工作原理如下：图灵机头通过读取当前纸带上一个方格的信息，然后根据指令集，移动指针，并转换自己的内部状态，然后进行下一步信息的读取工作。通过此种方式，图灵严格刻画了"可计算"这个概念，同时也向我们展示了如何对一个概念进行理论分析的工作。
       在杨老师的报告结束之后，老师和同学们各自就图灵的计算概念提出了自己的看法和问题，并展开了长时间的讨论，现场互动频繁，沙龙在一片热烈的气氛中宣告结束。