约翰·麦卡锡是一位杰出的计算机科学家和人工智能奠基人，他通过逻辑推理、编程语言和形式化方法为人工智能的发展做出了重要贡献。