从尺规作图到机器证明

摘要

随着人工智能科技的迅猛发展，一个幽灵般的问题开始在人们的头脑中徘徊：机器人能被训练成数学家吗？这一问题关系到哲学的基本问题。笔者以为，机器证明同尺规作图一样都是数学家借助辅助工具实施逻辑推理的过程，机器人、计算机和直尺、圆规等无疑是逻辑推理的辅助工具，而数学家是逻辑推理的主体。