从非欧几里得几何谈数学前提 - 辕门射虎


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#31

发表于 2015-3-14 02:30 资料个人空间短消息只看该作者

嘛，希尔伯特的事情先放一边吧……我对这种充满了定义和概念的事物真的比较难接收。

不过我对你提到的哥德尔不完备定理倒是挺有兴趣，这玩意我的同学以前好像提过，但是当时我就完全没搞懂……你能试试看让我有点概念不？

[广告] 《精忠报国岳飞传完整版》火热发布


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#32

发表于 2015-3-14 05:31 资料文集短消息只看该作者

QUOTE:

原帖由 cmy77 于 2015-3-14 01:03 发表

请你出示干活？你有吗？

我上面贴的哪个不是干货？

[广告] 真诚支持说岳，携手共创辉煌


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#33

发表于 2015-3-14 12:26 资料短消息只看该作者

QUOTE:

原帖由 武骧金星 于 2015-3-14 02:30 发表
嘛，希尔伯特的事情先放一边吧……我对这种充满了定义和概念的事物真的比较难接收。

不过我对你提到的哥德尔不完备定理倒是挺有兴趣，这玩意我的同学以前好像提过，但是当时我就完全没搞懂……你能试试看让我 ...

Hilbert 说白了就是想完成欧氏的梦想，把全部数学都公理化，把全部定理都证出来（注意，是全部定理哦）。Godel 就是冲着这个事情来砸场的，他的不完整定理直接导致了 Hilbert 的野心流产。

所以从时间上来看，Hilbert 20 公理最早，然后是 Godel 不完整定理，然后是 Tarski 公理。Tarski 公理其实也是冲着 Godel 不完整定理来的。他们之间的骂战还是能让看客大饱眼福的，比司马光那种水平的强太多了。

[ 本帖最后由颖颖于 2015-3-14 12:28 编辑 ]

[广告] 《精忠报国岳飞传完整版》火热发布


	如是我闻

组别	士兵
级别	护军
功绩	4
帖子	445
编号	510557
注册	2015-2-7

#34

发表于 2015-3-14 12:47 资料短消息只看该作者

这是要越界啊。。。初中数学越往理论界.......，风险好大。

[广告] 真诚支持说岳，携手共创辉煌


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#35

发表于 2015-3-14 13:07 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-14 01:56 发表
Hilbert 公理是 0 介逻辑，Tarski 是 1 介逻辑

呵呵呵呵呵
建议你还是把基本功先练扎实了, 再出来秀自己的观点. 数学不似人文, 多拉几个帮架的黑的就能说成白的, 秀数学是靠实力的.

[广告] 《精忠报国岳飞传完整版》火热发布


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#36

发表于 2015-3-14 13:14 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-14 12:26 发表

Hilbert 说白了就是想完成欧氏的梦想，把全部数学都公理化，把全部定理都证出来（注意，是全部定理哦）。Godel 就是冲着这个事情来砸场的，他的不完整定理直接导致了 Hilbert 的野心流产。

所以从时间上 ...

我与你之间所谓的骂战，本来旧不好看,我虐一个文史小学不及格，而且还经常撒泼的人，能显示出什么?

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#37

发表于 2015-3-14 13:36 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-14 12:26 发表
Hilbert 说白了就是想完成欧氏的梦想，把全部数学都公理化，把全部定理都证出来（注意，是全部定理哦）。

这句话也证明你其实似懂非懂。

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#38

发表于 2015-3-14 13:37 资料个人空间短消息只看该作者

回复 #33 颖颖的帖子

别理LS俩无聊的家伙……

话说能想办法解释一下这个哥德尔不完备定理到底是咋回事么？我当时听同学讲就不懂，昨天我看了下百科也和没看一样……

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#39

发表于 2015-3-14 13:39 资料文集短消息只看该作者

回复 #38 武骧金星的帖子

Hilbert 公理是 0 介逻辑，Tarski 是 1 介逻辑
Hilbert 说白了就是想完成欧氏的梦想，把全部数学都公理化，把全部定理都证出来（注意，是全部定理哦）。
这两句话是什么意思你搞懂了？被骗了还帮人数钱的家伙。

[广告] 《精忠报国岳飞传完整版》火热发布


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#40

发表于 2015-3-14 13:42 资料个人空间短消息只看该作者

回复 #39 天宫开发商的帖子

第一句话里的两个专有名词完全不懂……

第二句话我在百科里看到过类似的，当然实际上我也不懂

你原意讲讲么？

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#41

发表于 2015-3-14 14:19 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-3-14 13:39 发表
Hilbert 公理是 0 介逻辑，Tarski 是 1 介逻辑
Hilbert 说白了就是想完成欧氏的梦想，把全部数学都公理化，把全部定理都证出来（注意，是全部定理哦）。
这两句话是什么意思你搞懂了？被骗了还帮人数钱的家伙。

you can you up

武骧金星问他好了

[ 本帖最后由颖颖于 2015-3-14 14:20 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#42

发表于 2015-3-14 14:25 资料个人空间短消息只看该作者

……这是神马情况，还能不能快乐地玩耍了

我表示公主你不理他们不行么……

[广告] 《精忠报国岳飞传完整版》火热发布


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#43

发表于 2015-3-14 15:33 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-14 14:19 发表

you can you up

武骧金星问他好了

又崩溃了？

[广告] 《精忠报国岳飞传完整版》火热发布


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#44

发表于 2015-3-14 17:13 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-3-14 15:33 发表

又崩溃了？

你本事大你来，我歇几天。到时候回来检查工作。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#45

发表于 2015-3-14 21:59 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-14 17:13 发表

你本事大你来，我歇几天。到时候回来检查工作。

我本事不大，我又没在澳洲当过奥数教练。

就像踢足球，观众上不了场，不过上场的人谁基本功不扎实，别以为观众看不出来。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#46

发表于 2015-3-14 22:02 资料个人空间短消息只看该作者

我服了……要论坛有黑名单功能的话我真想把LS你拉黑啊……

你这是自己不干事还扯人后腿的典型啊，我都有想吐口水的心了。

[广告] 《精忠报国岳飞传完整版》火热发布


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#47

发表于 2015-3-14 22:06 资料文集短消息只看该作者

QUOTE:

原帖由 武骧金星 于 2015-3-14 22:02 发表
我服了……要论坛有黑名单功能的话我真想把LS你拉黑啊……

你这是自己不干事还扯人后腿的典型啊，我都有想吐口水的心了。

我扯什么后腿了？难道应该让你被误导？

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#48

发表于 2015-3-14 22:08 资料个人空间短消息只看该作者

你要有干货，就发出来证明自己的能力。你说我被误导，那么自己就要附上说明和解释。

像你这样发个观点然后喷口水的，叫废话好不好？

你要发废话也由得你，问题是你还能把可以发干货的人给喷走好不好？你说你讨厌不讨厌？

[广告] 真诚支持说岳，携手共创辉煌


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#49

发表于 2015-3-14 22:21 资料文集短消息只看该作者

QUOTE:

原帖由 武骧金星 于 2015-3-14 22:08 发表
你要有干货，就发出来证明自己的能力。你说我被误导，那么自己就要附上说明和解释。

像你这样发个观点然后喷口水的，叫废话好不好？

你要发废话也由得你，问题是你还能把可以发干货的人给喷走好不好？你说 ...

我干嘛需要证明自己的能力？

好吧，我就告诉你，0阶逻辑就是命题逻辑。命题逻辑是表达不了希尔伯特的公理的，因为命题逻辑过于简单。

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#50

发表于 2015-3-14 22:26 资料个人空间短消息只看该作者

……我表示没法理解啊，你能用更简单的语言来说这个问题不？命题逻辑是啥？

[广告] 《精忠报国岳飞传完整版》火热发布


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#51

发表于 2015-3-14 22:45 资料文集短消息只看该作者

QUOTE:

原帖由 武骧金星 于 2015-3-14 22:26 发表
……我表示没法理解啊，你能用更简单的语言来说这个问题不？命题逻辑是啥？

比如说：对于任意两个不同的点A、B，存在着直线a通过每个点A、B．命题逻辑只能把它分析为一个命题，不能对这个命题的内部构造进行分析。

如果天下雨，那么地是湿的。
天下雨。
所以，地是湿的。

这个推理，可以用命题逻辑来说明。因为它不需要涉及“天下雨”和“地是湿的”这两个命题的内部构造。你把它们换成任何命题都可以。

但是，对于

所有人都是动物。
澳洲人是人
所以，澳洲人是动物。

这个推理，用命题逻辑就说明不了。

[ 本帖最后由天宫开发商于 2015-3-14 22:47 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#52

发表于 2015-3-16 00:29 资料个人空间短消息只看该作者

嘛，你的意思我勉勉强强可以脑补~我表示形式逻辑的东西真是超难懂的。

但是我还是有点不理解啊，在我看来你上面两段已经是完全不同的逻辑了。

上面一段可以理解成这样：
A是B的充分条件
已知A
可以推导出B

下面一段可以理解成这样：（你能好好说正事，别牵扯有的没的不……）
A是B的充分条件
C是A的充分条件
已知C
可以推导出B

……这么理解没问题吧？

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#53

发表于 2015-3-16 07:59 资料文集短消息只看该作者

回复 #52 武骧金星的帖子

这本来就是两个不同的推理。前一个可以用命题逻辑解释，后一个不行。你对第二个推理的理解不正确，这里的A是什么？B又是什么呢？

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	存在就是合理

组别	校尉
级别	前将军
功绩	11
帖子	1635
编号	427214
注册	2011-6-7

#54

发表于 2015-3-16 08:50 资料文集短消息只看该作者

我一直以贵轩某些人把澳洲人看成数学高手感到好笑，以我半吊子不到的水平也能看出他不过是百度一些专业术语忽悠人而已。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	墨叶


	★★★★ 节度留后虎豹骑

组别	虎豹骑
级别	大将军
功绩	359
帖子	23258
编号	97330
注册	2006-12-26
家族	轩辕少林寺

#55

发表于 2015-3-16 08:52 资料个人空间短消息只看该作者

QUOTE:

原帖由 武骧金星 于 2015-3-14 22:08 发表
你要有干货，就发出来证明自己的能力。你说我被误导，那么自己就要附上说明和解释。

像你这样发个观点然后喷口水的，叫废话好不好？

你要发废话也由得你，问题是你还能把可以发干货的人给喷走好不好？你说 ...

好像天宫公主也这样的。
她所说的干货也就是几个专业名词。

[广告] 《精忠报国岳飞传完整版》火热发布


	墨叶


	★★★★ 节度留后虎豹骑

组别	虎豹骑
级别	大将军
功绩	359
帖子	23258
编号	97330
注册	2006-12-26
家族	轩辕少林寺

#56

发表于 2015-3-16 09:02 资料个人空间短消息只看该作者

QUOTE:

原帖由颖颖于 2015-3-13 21:44 发表
这个最多证明你们比我会下套而已

P.S. 再次展现你的歪楼功夫何等了得, 直接就不聊几何了.

QUOTE:

原帖由颖颖于 2015-2-28 21:09 发表

你的意思是 50000000 km/h + 20000000 km/h = 70000000 km/h 是正确的？

你的意思是 50000000 km/h + 20000000 km/h = 70000000 km/h 是不正确的？
如果不正确，那么正确的答案是什么，能否给出详细的过程。

[广告] 真诚支持说岳，携手共创辉煌


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#57

发表于 2015-3-16 09:08 资料个人空间短消息只看该作者

嘛，说公主抄百度就过了，这是不可能的……
http://www.xycq.net/forum/thread-77568-1-1.html
我随便举个例子就行了，真材实料是肯定有的，至少相对偶们来说可以算专家级的。（就好比我相对墨叶你，在围棋上算专家级的一个道理）

回到与天宫开发商的讨论：（我先把你那段话写成比较正常的版本把ORZ）
人（A）是动物（B）—— 已知：A是B的充分条件
我（C）是人（A）—— 已知：C是A的充分条件
可以推出：我（C）是动物（B）—— 结论：C也是B的充分条件

这和0阶逻辑1阶逻辑应该没啥关系吧，我去看了下百科（虽然看不懂……），说的应该不是这种事……

[广告] 真诚支持说岳，携手共创辉煌


	墨叶


	★★★★ 节度留后虎豹骑

组别	虎豹骑
级别	大将军
功绩	359
帖子	23258
编号	97330
注册	2006-12-26
家族	轩辕少林寺

#58

发表于 2015-3-16 09:18 资料个人空间短消息只看该作者

回复 #57 武骧金星的帖子

专业的人在专业的领域谈不专业的话题，也不是权威。
比如刘世挣的施范业五论你认同吗？

比如本帖的重点是讨论数学问题的前提，不知道你认为讨论问题是否需要前提。

[ 本帖最后由墨叶于 2015-3-16 09:21 编辑 ]

[广告] 《精忠报国岳飞传完整版》火热发布


	武骧金星

组别	校尉
级别	前将军
功绩	29
帖子	1763
编号	56399
注册	2005-12-31
来自	上海

#59

发表于 2015-3-16 09:31 资料个人空间短消息只看该作者

回复 #58 墨叶的帖子

呃……施范业五论咋说呢，某些程度有点道理——让施范穿越到现在来和业五下棋（不给他们学习和适应的时间），我觉得真不一定占优势，这点我并不是夸大来着，我自己就是业五，这个是我自己的认识。

为什么呢……因为现代围棋的“理解”，和古代围棋差出N个层次了。围棋的本质是抢大的，在这个最根本的问题上，我们比范施时代要领先太多。虽然在计算力上确实有差距（我自己就不擅长计算），但是计算，只是能力的一种罢了。或者我这么说吧，你认为现在的世界冠军，可以让一个业余五段四子么？我们和古代人在这方面的差距，我觉得起码有两子。

讨论问题不需要啥前提啊，大家都可以讨论啊……我自己就不懂数学，不也在这里扯淡么。

[广告] 真诚支持说岳，携手共创辉煌


	墨叶


	★★★★ 节度留后虎豹骑

组别	虎豹骑
级别	大将军
功绩	359
帖子	23258
编号	97330
注册	2006-12-26
家族	轩辕少林寺

#60

发表于 2015-3-16 09:45 资料个人空间短消息只看该作者

回复 #59 武骧金星的帖子

你说的前提和我说的前提不一样的。

比如，施范业五论你的前提就是“施范穿越到现在来和业五下棋（不给他们学习和适应的时间）”，我也能认同。
这就是前提，否则你在“（不给他们学习和适应的时间）”的前提下阐述自己的观点，我则在“（给他们一定的学习和适应时间）”下阐述观点，能讨论到一起吗?

[ 本帖最后由墨叶于 2015-3-16 09:47 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌