话题
搜索

定理


定理是一种可以通过公认的数学运算和论据证明是正确的陈述。一般来说,定理是某些一般性定理的体现使其成为更大理论一部分的原则。证明定理的过程正确被称为证明.

虽然不是绝对标准,但希腊人对“问题“(粗略地说,各种图形的构造)和”定理“(建立所述图形的特性;《希思1956》,第252、262和264页)。

根据诺贝尔物理学奖得主理查德·费曼(1985)的观点,任何定理,无论最初证明有多么困难,都被视为“琐碎的"一旦被数学家证明。因此,有两种类型数学对象的:琐碎的一个,和那些尚未得到证实。

已故数学家P.Erdős经常与“数学家是将咖啡转化为定理的机器”这一观察结果联系在一起(例如,霍夫曼1998年,第7页)。然而,这种特征似乎是应该的给他的朋友阿尔弗雷德·雷尼(马尔科维奇,麦克图尔)。这个想法是发展起来的埃尔德的朋友、匈牙利数学家保罗·图兰(Paul Turán)进一步说道建议淡咖啡“只适合引理"(MacTutor,Malkevitch)。

R.Graham估计250000数学定理每年出版(霍夫曼1998年,第204页)。


另请参见

公理,公理系统,推论,深度定理,色情,引理,元定理,假设,原理,问题,证明,提议,同义反复,琐碎的

与Wolfram一起探索| Alpha

工具书类

费曼,R.P。费曼先生,你一定在开玩笑!纽约:矮脚鸡图书,1985年。希思,T.L.公司。这个《元素十三册》,第二版,第一卷:第一册和第二册。新建约克:多佛,1956年。霍夫曼,P。这个只爱数字的人:保罗·埃尔德的故事与数学探索真相。纽约:Hyperion,1998年。MacTutor数学史档案文件。“阿尔弗雷德·雷尼。”http://www-history.mcs.st-andrews.ac.uk/传记/Renyi.html.马尔科维奇,J.《埃尔德的图表》http://www.ams.org/featurecolumn/archive/networks6.html.真实航向 存在 OREM公司 对于所有人 计算机支持的数学定理证明。http://www.theorema.org/.沃尔夫拉姆,秒。A类新型科学。伊利诺伊州香槟市:Wolfram Media,2002年。

引用的关于Wolfram | Alpha

定理

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“定理。”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Theorem.html

主题分类