作者dharma (达)
看板Math
标题Re: [其他] 第四次数学危机？
时间Wed Jul 8 17:15:36 2020
※ 引述《Babbage (骄傲体现於健忘)》之铭言：
: 然而就在其他学科努力模仿数学之时，数学家却从事着更进一步的
: 工作，也就是将欧几里德的公设最佳化。当时数学家普遍认为欧几
: 里德第五公设显得有点罗唆，似乎可以由其他四个公设推导出来。
: 我不确定这段历史始於何时，或许一直有人做过类似的尝试。不过
: 始终没有人成功证明第五公设，我个人相信一定有数学家怀疑过第
: 五公设是不是真的可以证明，但是如果第五公设不能被证明（亦即
: 无法由前四个公设推导而出），我们又该如何「证明」这件事呢？
最後由义大利数学家贝尔特拉米（Eugenio Beltrami）证明了平行公设独立於前四条公设
。
https://zh.wikipedia.org/wiki/%E5%B9%B3%E8%A1%8C%E5%85%AC%E8%A8%AD
上面第一段说「始终没有人成功证明第五公设」
第二段是维基写说「已得到证明」
所以到底情形是怎样？
thanks
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 107.161.88.23 (美国)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1594199738.A.9A7.html
1F：→ Ricestone : 证明了无法由前四条公设证明第五公设 07/08 17:21
2F：→ Ricestone : 证明了「无法证明」这件事 07/08 17:22
感谢
这样讲就比较懂了些
※ 编辑: dharma (107.161.88.23 美国), 07/08/2020 23:07:26
3F：推 nutta : 哇感谢你让我翻到这系列旧文 真好看欸 07/19 22:42