从尺规作图到机器证明

从尺规作图到机器证明

Year:    2021

Author:    乔建永

数学文化, Vol. 12 (2021), Iss. 3 : pp. 118–127

Abstract

image.png

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

You do not have full access to this article.

Already a Subscriber? Sign in as an individual or via your institution

Journal Article Details

Publisher Name:    Global Science Press

Language:    Multiple languages

DOI:    https://doi.org/2021-MC-19418

数学文化, Vol. 12 (2021), Iss. 3 : pp. 118–127

Published online:    2021-01

AMS Subject Headings:   

Copyright:    COPYRIGHT: © Global Science Press

Pages:    10

Keywords:   

Author Details

乔建永