电脑

楼主: Stella (钢琴控)   2022-09-05 07:46:10
电脑辅助证明
到底算不算一种证明
比如四色定理这种
因为用电脑证明无法写下公理化的过程
心理上还是有点难接受
作者: tomuy (咖啡中毒)   2022-09-05 07:48:00
数学吗 真的数学家比电脑猛吧
作者: Jaka (Jaka)   2022-09-05 08:16:00
我是肯定派的
作者: abcd991276 (QQ)   2022-09-05 08:19:00
不行ㄅ这样缺少数学的美感

Links booklink

Contact Us: admin [ a t ] ucptt.com