 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 522 | 回復(fù): 0 | ||
[資源]
[原創(chuàng)] 什么是“完全的數(shù)學(xué)證明”？
|
|
先貼出漢語的（聯(lián)合國官方正式使用的6種同等有效語言之一）。有空在翻譯成英語。請不要歧視漢語！ （1）所有的證明都是相對的。 Any proof is relative, since it is based on certain unprovable assumptions. 《Encyclopaedia of Mathematics》，http://eom.springer.de/p/p075420.htm （2）K Godel說過：沒有一個在特定分辨率層次上形成的知識系統(tǒng)，能夠完全解釋那個層次，必須具有一個高層元知識才能完全解釋它。然而，當(dāng)我們著手去構(gòu)造這個更一般的元知識時，它也要求更高一層的元-元知識去解釋它。 （來自：近十年人工智能的進(jìn)展，《模式識別與人工智能》，1995年 8卷 12月增刊，起止頁碼：1-9） （3）實系數(shù)的一元二次方程，當(dāng)根的判別式小于0時，有沒有解？ 答案：如果在實數(shù)域（初中學(xué)生的答案），沒有；相反，在復(fù)數(shù)域（大學(xué)生的答案），有！ （4）三角形內(nèi)角和等于180°嗎？ 答案：在歐幾何學(xué)（Euclidean Geometry）是；在非歐幾何學(xué)（Non-Euclidean Geometry）里不是。 （5）在幾何學(xué)中，“點、線、面、體”誰復(fù)雜？ 答案：依賴于特定的數(shù)學(xué)評價指標(biāo)。例如，若以面積作為評價指標(biāo)時，“點、線”的面積都是0，而“體”是無窮大（不能定義）�？墒�，以體積作為評價指標(biāo)時，“點、線、面”的體積都是0。于是“點、線、面、體”的復(fù)雜性就出現(xiàn)了多種合理答案。 完全的數(shù)學(xué)證明需要3種證明： 所以，某數(shù)學(xué)命題的證明是依賴“證明所采用的數(shù)學(xué)系統(tǒng)的”。這樣： Based the "The definition of Proof http://eom.springer.de/P/p075420.htm, the Mathematical proofs of a proposition should have three cases: (1) the proposition is valid, under a certain axiomatic system; (2) the proposition is not valid, under another axiomatic system; (3) the proposition can not be proved, without the necessary designating axiomatic systems. Under these criterions, GRIGORI PERELMAN only did the 1/3 of the full proofs of Poincare conjecture. 請對照Godel incompleteness theorem和Chaitin theorem。 _____________________________________________________________________ "Proof is a reasoning conducted according to certain rules in order to demonstrate some proposition (statement, theorem); it is based on initial statements (axioms). In practice, however, it may also be based on previously demonstrated propositions. Any proof is relative, since it is based on certain unprovable assumptions." [1] So, a proposition proved can have three results: according to different rules, the proposition can be (1) valid/proved; (2) invalid; and (3) undecidable. The Mathematical proofs of a proposition must give the following three cases: (1) The proposition is valid, under some certain axiomatic systems; (2) The proposition is not valid, under other axiomatic systems; (3) The proposition can not be proved/decided, without the necessary designating axiomatic systems. A Full Proof requires that the three cases are all identified definitely. This is the use of Gödel incompleteness theorem and Chaitin theorems in the criterion for Future Mathematical Proof. Under these criterions, GRIGORI PERELMAN only did the 1/3 of the full proofs of Poincare conjecture. References: [1] Proof in Encyclopaedia of Mathematics, http://eom.springer.de/p/p075420.htm [2] Continuum hypothesis in Encyclopaedia of Mathematics, http://eom.springer.de/C/c025790.htm [3] Gregory J. Chaitin. Information-Theoretic Computational Complexity. IEEE Transactions on Information Theory, IT-20 (1974), pp. 10-15. [4] Gödel incompleteness theorem in Encyclopaedia of Mathematics, http://eom.springer.de/G/g044530.htm [5] Morris Kline. Mathematical Thought from Ancient to Modern Times, New York: Oxford University Press, 1972. [6] Hilbert's Program in Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/hilbert-program/ [7] http://bbs.sciencenet.cn/showtopic-83926.aspx [ Last edited by YANGZL on 2011-9-30 at 10:28 ] |
回復(fù)此樓» 猜你喜歡
321求調(diào)劑
已經(jīng)有5人回復(fù)
-
一志愿中海洋材料工程專碩330分求調(diào)劑
已經(jīng)有7人回復(fù)
-
一志愿天大材料與化工（085600）總分338
已經(jīng)有5人回復(fù)
-
288求調(diào)劑
已經(jīng)有3人回復(fù)
-
材料080500調(diào)劑求收留
已經(jīng)有4人回復(fù)
-
一志愿吉林大學(xué)材料學(xué)碩321求調(diào)劑
已經(jīng)有9人回復(fù)
-
294求調(diào)劑材料與化工專碩
已經(jīng)有8人回復(fù)
-
一志愿985，本科211，0817化學(xué)工程與技術(shù)319求調(diào)劑
已經(jīng)有10人回復(fù)
-
一志愿西安交通大學(xué)材料工程專業(yè) 282分求調(diào)劑
已經(jīng)有3人回復(fù)
-
332求調(diào)劑
已經(jīng)有3人回復(fù)
找到一些相關(guān)的精華帖子，希望有用哦~
強極值原理的證明過程求教
已經(jīng)有9人回復(fù)
- 求助，關(guān)于概率問題的兩個證明題
已經(jīng)有5人回復(fù)
- 求助：怎么證明這個數(shù)學(xué)式子？？
已經(jīng)有6人回復(fù)
- 怎么證明級數(shù)收斂
已經(jīng)有3人回復(fù)
- 考研數(shù)學(xué)定理需要證明嗎？還是理解就好
已經(jīng)有23人回復(fù)
- 數(shù)學(xué)的畢業(yè)論文中，每一個引理都需要再次證明嗎？
已經(jīng)有10人回復(fù)
- 一高數(shù)基礎(chǔ)證明題，想了很久我還是不會，大家?guī)蛶兔�，謝謝了。
已經(jīng)有17人回復(fù)
- 充分統(tǒng)計量和完全統(tǒng)計量的問題
已經(jīng)有3人回復(fù)
- 求解鏈?zhǔn)椒▌t嚴(yán)格證明的過程
已經(jīng)有6人回復(fù)
- 求助，高數(shù)證明！
已經(jīng)有5人回復(fù)
- 數(shù)學(xué)二的證明題怎么復(fù)習(xí)啊，現(xiàn)在好糾結(jié)
已經(jīng)有7人回復(fù)
- 證明伴隨矩陣相似
已經(jīng)有3人回復(fù)
- 請教如何證明這個不等式？
已經(jīng)有5人回復(fù)
- 介紹四色問題的肯普證明（節(jié)選自《數(shù)學(xué)證明》、大連理工大學(xué)出版社 著 蕭文強）
已經(jīng)有4人回復(fù)
- 【求助】證明一個數(shù)學(xué)模型所在空間為內(nèi)積空間【已解決】
已經(jīng)有10人回復(fù)
- 【求助】常微分方程證明
已經(jīng)有10人回復(fù)
點擊這里搜索更多相關(guān)資源科研從小木蟲開始，人人為我，我為人人
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 YANGZL 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 一志愿中海洋材料工程專碩330分求調(diào)劑 +7 | 小材化本科 2026-03-18 | 7/350 |
|
|---|---|---|---|---|
|
[考研] 267一志愿南京工業(yè)大學(xué)0817化工求調(diào)劑 +10 | SUICHILD 2026-03-12 | 10/500 |
|
|
|
[考研] 能源材料化學(xué)課題組招收碩士研究生8-10名 +4 | 脫穎而出 2026-03-16 | 11/550 |
|
|
|
[考研] 0703化學(xué) 305求調(diào)劑 +4 | FY_yy 2026-03-14 | 4/200 |
|
|
|
[考研] 085600材料與化工 +5 | 安全上岸！ 2026-03-16 | 5/250 |
|
|
|
[考研] 288求調(diào)劑，一志愿華南理工大學(xué)071005 +4 | ioodiiij 2026-03-17 | 4/200 |
|
|
|
[考研] 材料，紡織，生物（0856、0710），化學(xué)招生啦 +3 | Eember. 2026-03-17 | 9/450 |
|
|
|
[考研] 334求調(diào)劑 +3 | 志存高遠(yuǎn)意在機(jī)?/a> 2026-03-16 | 3/150 |
|
|
|
[基金申請] 被我言中：新模板不強調(diào)格式了，假專家開始管格式了 +4 | beefly 2026-03-14 | 4/200 |
|
|
|
[考研] 277調(diào)劑 +5 | 自由煎餅果子 2026-03-16 | 6/300 |
|
|
|
[考研] 326求調(diào)劑 +5 | 上岸的小葡 2026-03-15 | 6/300 |
|
|
|
[考研] 290求調(diào)劑 +3 | p asserby. 2026-03-15 | 4/200 |
|
|
|
[考博] 26申博 +4 | 八6八68 2026-03-16 | 4/200 |
|
|
|
[考研] 0854控制工程 359求調(diào)劑 可跨專業(yè) +3 | 626776879 2026-03-14 | 9/450 |
|
|
|
[考研] 277材料科學(xué)與工程080500求調(diào)劑 +3 | 自由煎餅果子 2026-03-16 | 3/150 |
|
|
|
[考研] 中科大材料與化工319求調(diào)劑 +3 | 孟鑫材料 2026-03-14 | 3/150 |
|
|
|
[考研] 255求調(diào)劑 +3 | 李嘉慧， 2026-03-12 | 4/200 |
|
|
|
[考研] 材料工程調(diào)劑 +9 | 咪咪空空 2026-03-12 | 9/450 |
|
|
|
[考研] 0856材料與化工301求調(diào)劑 +5 | 奕束光 2026-03-13 | 5/250 |
|
|
|
[考研] 26調(diào)劑/材料科學(xué)與工程/總分295/求收留 +9 | 2026調(diào)劑俠 2026-03-12 | 9/450 |
|