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