符合论的真理观肯定是对的,也就是说,机器人所相信的一个信念之所以是真的,是因为其符合外部事实。
约翰·麦卡锡
人工智能之父与Lisp编程语言发明人

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