算机可以证明几何定理啊 - Joke版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Joke版 - 算机可以证明几何定理啊

相关主题
● 今年把最高科技奖发给氢弹之父总觉得有点问题	● 现在干神马行业都要有文化啊
● 家宝总理辗转反侧，久不成寐 (转载)	● mitbbs最傻逼的几个版 (转载)
● 北京过街天桥纪念中值定理？	● 勾股定理
● 分手定理（纯娱乐，zz） (转载)	● 朝鲜、古巴、伊朗，和我国
● Re: 我恨你们	● Re: 田主席会邀请昔日82硕同学老张回北大做报告吗? (ZT)
● Re: 我恨你们	● 以前见过的一道初中(或小学)数学题, 没有想出来... (转载)
● 贺费马诞辰410周年兼费马大定理证明16周年 (转载)	● 学渣表示我已经尽力了
● 解数学题	● 俺去过的国家

相关话题的讨论汇总
话题: 算机话题: 证明话题: 几何

进入Joke版参与讨论

1

(共1页)

s********c 发帖数: 2857	1 那天谁说的算机不能证明勾股的，听说过吴文俊和mechanical theorem-proving in geometry没
n****4 发帖数: 12553	2 但是算机不能发明新的数学。如果里曼几何还没有被发明，那么算机自己是绝对发明不了的。【在 s********c 的大作中提到】 : 那天谁说的算机不能证明勾股的，听说过吴文俊和mechanical theorem-proving in : geometry没

1

(共1页)

进入Joke版参与讨论

相关主题
● 俺去过的国家	● Re: 我恨你们
● 学术上，罪大恶极的几种罪名	● Re: 我恨你们
● 小学生数学竞赛有必要这么狠么？ (转载)	● 贺费马诞辰410周年兼费马大定理证明16周年 (转载)
● 每次预测都有错误 (转载)	● 解数学题
● 今年把最高科技奖发给氢弹之父总觉得有点问题	● 现在干神马行业都要有文化啊
● 家宝总理辗转反侧，久不成寐 (转载)	● mitbbs最傻逼的几个版 (转载)
● 北京过街天桥纪念中值定理？	● 勾股定理
● 分手定理（纯娱乐，zz） (转载)	● 朝鲜、古巴、伊朗，和我国

相关话题的讨论汇总
话题: 算机话题: 证明话题: 几何

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)