|
|
发表于 27-4-2009 09:56 PM
|
显示全部楼层
今天和 我的数学教授 argue 一个问题
道底 mathematics 是不是 well-defined？？？
我和教授讲了很久
他说
"mathematics is the root of everything, including science"
"science can be not well-defined, but maths must is"
"mathematics is well-defined"
等等
可是我个人认为 mathematics 不是 well-defined
因为mathematics is not a set of rules, it is a set of definition
quote from AI - Natural Language Processing
就因为mathematics是 set of definitions， 所以是可变动和推翻的
当然， doppler 版主曾经quote albert einstein
mathematics 是不能被质疑和推翻的
所以请各位数学热情网友。。。 discuss discuss |
|
|
|
|
|
|
|
|
|
|
|
发表于 27-4-2009 09:57 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 27-4-2009 09:57 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 27-4-2009 10:12 PM
|
显示全部楼层
原帖由 晨天 于 27-4-2009 09:56 PM 发表 
今天和 我的数学教授 argue 一个问题
道底 mathematics 是不是 well-defined？？？
我和教授讲了很久
他说
"mathematics is the root of everything, including science"
"science can be not well-defined, but maths must is"
"mathematics is well-defined"
等等
可是我个人认为 mathematics 不是 well-defined
因为mathematics is not a set of rules, it is a set of definition
quote from AI - Natural Language Processing
就因为mathematics是 set of definitions， 所以是可变动和推翻的
当然， doppler 版主曾经quote albert einstein
mathematics 是不能被质疑和推翻的
所以请各位数学热情网友。。。 discuss discuss
你地professor说的没错。 mathematics is well-defined。 因为数学的更本是一系列的definitions，而其他的rules都是建立在这些definitions上。所有的rules，如果违反原有的definitions，必须被淘汰不成立。rule-base或其他建立在这些rules上的科学可以被否定。但是原先的definitions不可以。所以必须mathematics必须well-defined。不然这个数学系统不能成立。 |
|
|
|
|
|
|
|
|
|
|
|
发表于 27-4-2009 10:12 PM
|
显示全部楼层
原帖由 晨天 于 27-4-2009 09:56 PM 发表
今天和 我的数学教授 argue 一个问题
道底 mathematics 是不是 well-defined？？？
我和教授讲了很久
他说
"mathematics is the root of everything, including science"
"science can be not well-defined, but maths must is"
"mathematics is well-defined"
等等
可是我个人认为 mathematics 不是 well-defined
因为mathematics is not a set of rules, it is a set of definition
quote from AI - Natural Language Processing
就因为mathematics是 set of definitions， 所以是可变动和推翻的
当然， doppler 版主曾经quote albert einstein
mathematics 是不能被质疑和推翻的
所以请各位数学热情网友。。。 discuss discuss
你地professor说的没错。 mathematics is well-defined。 因为数学的更本是一系列的definitions，而其他的rules都是建立在这些definitions上。所有的rules，如果违反原有的definitions，必须被淘汰不成立。rule-base或其他建立在这些rules上的科学可以被否定。但是原先的definitions不可以。所以必须mathematics必须well-defined。不然这个数学系统不能成立。 |
|
|
|
|
|
|
|
|
|
|
|
发表于 28-4-2009 12:09 AM
|
显示全部楼层
谢谢鸟哥。。。。
这里有三个 Eistein 的quote
http://www.gap-system.org/~history/Quotations/Einstein.html
But there is another reason for the high repute of mathematics: it is mathematics that offers the exact natural sciences a certain measure of security which, withut mathematics, they could not attain.
Quoted in E T Bell Men of Mathematics
One reason why mathematics enjoys special esteem, above all other sciences, is that its laws are absolutely certain and indisputable, while those of other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts.
Sidelights on Relativity
As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.
Sidelights on Relativity
看看。。。 |
|
|
|
|
|
|
|
|
|
|
|
发表于 28-4-2009 09:18 AM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 28-4-2009 09:47 AM
|
显示全部楼层
Euclidean Geometry 时间里在几条 axiom 上
而 Axiom 5 的相反观点造就了 Non-euclidean Geometry
Gödel's first incompleteness theorem states that:
Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true,[1] but not provable in the theory. |
|
|
|
|
|
|
|
|
|
|
|
发表于 29-4-2009 10:35 AM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 29-4-2009 01:48 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 29-4-2009 07:15 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 30-4-2009 08:06 AM
|
显示全部楼层
■ 发现与发明 ■
老师：
真理本来就存在的。
没有人发明'毕氏定理'，它是由毕达哥拉斯发现的。
小明：
老师，发现和发明有什么不一样呢？
老师：
如果一样东西本来就存在的，那么我们就说是发现；
如果一样东西本来不存在的，那么我们就说是发明。
小明：
喔！老师，我明白了。
爸爸发现了妈妈，然后他们发明了我。 |
|
|
|
|
|
|
|
|
|
|
|
发表于 30-4-2009 12:24 PM
|
显示全部楼层
我们发现了它，在创造了它的兄弟 |
|
|
|
|
|
|
|
|
|
|
|
发表于 30-4-2009 11:33 PM
|
显示全部楼层
原帖由 多普勒效应 于 29-4-2009 10:35 AM 发表 
可以说数学是 "well-公设化" 的吗?
well-formulated?
@@
艺术， 创意， 等等也是 mathematics 的branch 吗？？ |
|
|
|
|
|
|
|
|
|
|
|
发表于 3-5-2009 11:58 PM
|
显示全部楼层
回复 414# 晨天 的帖子
是 Well-Axiomatised.  |
|
|
|
|
|
|
|
|
|
|
|
发表于 19-6-2009 04:10 PM
|
显示全部楼层
我觉得数学是被发现的
就好像代数的
1
11
121
12321
1234321
123454321
好厉害的发现 |
|
|
|
|
|
|
|
|
|
|
|
发表于 7-7-2009 02:27 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 10-7-2009 10:12 AM
|
显示全部楼层
欢迎欢迎。。。。
是不是觉得很多同志们列。。。。^^ |
|
|
|
|
|
|
|
|
|
|
|
发表于 10-7-2009 09:59 PM
|
显示全部楼层
回复 418# ~HeBe~_@ 的帖子
hihi...
HEBE...
你是Utar AM 的啊...?现在year几...?
我是AS的,不过最近搬来setapak了....?
可以分享当初为什么会选applied math 吗...? |
|
|
|
|
|
|
|
|
|
|
|
发表于 10-7-2009 10:12 PM
|
显示全部楼层
回复 419# mad1427 的帖子
我当初选AM是因为我喜欢数学咯。。。
就是这么简单咯。。
哈哈！
我已经毕业咯。。。
. |
|
|
|
|
|
|
|
|
|
| |
 本周最热论坛帖子
|
3218 
111
