PTT
Submit
Submit
选择语言
正體中文
简体中文
PTT
Marginalman
电脑
楼主:
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
不行ㄅ这样缺少数学的美感
继续阅读
Re: [取暖] 努力工作是不是不如躺平
zaku2015
rp20031219: 整个版都你们到处做爱留下来的洨
an94mod0
恋爱无法用双子除尽
oz5566
[闲聊] 干怎么都半夜吵架
Excrement35
[闲聊] 早上的泰国新闻频道
iLeyaSin365
Re: [姆咪] nh507121
oz5566
[闲聊] 早起的人请进
DreaMaker167
[闲聊] 早安
v03516020
阿比怎么来了
Stella
Re: [闲聊] 靠北 现在皇城蔡EE会被水桶唷??????
nh507121
Links
booklink
Contact Us: admin [ a t ] ucptt.com