1. PTT
  2. 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: [取暖] 努力工作是不是不如躺平zaku2015rp20031219: 整个版都你们到处做爱留下来的洨an94mod0恋爱无法用双子除尽oz5566[闲聊] 干怎么都半夜吵架Excrement35[闲聊] 早上的泰国新闻频道iLeyaSin365Re: [姆咪] nh507121oz5566[闲聊] 早起的人请进DreaMaker167[闲聊] 早安v03516020阿比怎么来了StellaRe: [闲聊] 靠北 现在皇城蔡EE会被水桶唷??????nh507121

Links booklink

Contact Us: admin [ a t ] ucptt.com