符合论的指称观肯定是对的,也就是说,机器人的信念所包含的名词表达式的意义来源于其指涉的对象。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人

约翰·麦卡锡(John McCarthy,1927年9月4日~2011年),他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念,被称为“人工智能之父”。