在數學中,如果推翻了一條很基礎的公理,那麼會造成什麼後果?

時間 2021-05-06 04:56:07

1樓:飯一哥

你好!公理是人想出來的,!人!

,這個句子的主體!所以沒什麼推翻不推翻的,人覺得有用,如果有天人覺得沒用,那不用推翻,人自然會把它捨棄,對了你如果說有什麼用,又不能吃?大哥你買個菜不說數字試試!

2樓:凌風

僅僅是個人看法,不喜勿噴。

有人說數學的公理可以是任意的。本人非常反感這種說法。

個人認為數學就不應該有不可證明的預設為真的公理。

不可證明的只有邏輯本身,數學就是邏輯,除此之外再無其它,不應存在可以隨意選擇的公理。

3樓:學半

在數學中,只有一條公理是推翻不了的,即物質實踐直接經驗導向的公理:「宇宙只有乙個」是推翻不了的數學公理。

重新認識現實世界的數學模型

推翻其他的數學公理,會造成確立唯一的一條公理:「宇宙只有乙個」基礎上的純理論數學創新。

學半:數學中矛盾的鬥爭與解決

4樓:數學草稿

首先公理是不能推翻的,因為它是不需要證明的。公理是人類先知們共同預設的準則。比如,公理:

兩條平行直線在無窮遠處也不會相交。這個沒人能去到無窮遠,也證明不出來,但是符合我們的認知,所以大家都預設是對的,這個叫公理。如果是推翻定理的話,理論上是可能的。

但是實際上基礎的定理都是經過數學家推敲的,這種情況實際上也不可能發生。

5樓:三千相

無非就是推翻一條就要推翻絕大多數東西,比如一旦我有了1+1=1,就能得到每個自然數都等於1,於是所有整數有理數實數都等於1,有點滾雪球的感覺

6樓:四維超球體

不能說推翻吧,只能說否認,推翻意思是這句公理是錯的,否認的意思是我不認為這句公理是對的,兩者不可等同

你否認部分公理,引入新公理,也可以創造出一種新的數學分支,如非歐氏幾何

所以,如果你想創造出一種新的數學分支,你的理論可能會被承認,你也會留名青史,當然也有可能無人問津,所以祝你好運!

7樓:chenc

數學和物理化學什麼的不太一樣,數學是我們人類自己構建的體系,用來幫助我們生產生活用的。

物理化學什麼的則不同,這些是客觀世界已經確定了的,我們只能探索,不能構建修改。比如客觀世界是能量守恆的,除非以後我們發現客觀世界確實是不守恆的,不然我們單方面修改成不守恆沒什麼意義。

數學既然是我們自己構建的,那麼完全可以推翻一條很基礎的公理,重新建立乙個新的體系。不過這個新的體系應該同樣可以輔助我們的生產生活,而且最好效率更高,不然有好的不用,幹嘛要折騰一套更差的呢?

8樓:

很簡單,參考黎曼猜想,直接性的,需要用到該公理的任何定理的證明都需要重新審查,很可能直接陪葬,小部分可能發現可以通過其他公理推出。

選擇新的公理那需要看歷史發展了,如果哪個好用,符合直覺就用哪個。

通常矛盾的情況,人們會考慮該公理的弱化,例如替換公理是概括公理的弱化,其實例如並集公理、冪集公理貌似可以視作概括公理的弱化,它們是可以通過概括公理推出的。

最大的問題還是選擇公理,雖然現在大家都承認,但天曉得哪天證明出來了某些東西導致大家認定選擇公理不是必然的成立的,那麼就該數學危機了。

推翻有兩種可能:一種是在此公理之上,我們會得到一些我們根本就不想要的東西,例如分球悖論就曾被視作對選擇公理的反駁。

另一種就是題主說的:存在邏輯上的矛盾,但這種情況目前不太可能發生,我們對數理邏輯的研究已經達到了乙個非常非常高的層次了,若是能出現這種情況,那麼實在是太有趣了。我真誠的希望,有人能夠證明ZF的不一致。

9樓:邊顓

做不到因為所謂的公理axiom就是預設正確

但是我們可以找到乙個合理的新公理去替換它

有兩個比較出名的例子,分別是針對幾何的和自然數的首先是歐幾里得幾何的第五公設,替換後得到了非歐幾何這一偉大的學科,後來的廣義相對論正是基於雙曲幾何得到

另乙個是皮亞諾公里,我們把皮亞諾公里的第五條去掉(還是換掉?有點久遠了不記得了),那麼自然數系還是存在的,但是加法交換律,加法結合律都成為了不可證明也不可證偽的命題。由此,我看的那本書引入了cantor的不完備性原理

如果乙個公理被否定(物理意義上的),必然導致一門新的數學分支誕生,但不可能打擊到已有的數學領域。不過物理可就不一定了,乙個新的,打破公理的物理現象出現,估計量子力學家有的煩了

10樓:皮皮蝦

本來想說不可能推翻的後來看了問題描述。

那不會怎麼樣啊,會在修改公理的情況下架構乙個新的數學體系,參考非歐幾何和第五公設的故事

11樓:

哥德爾不完備定理:

1、任何相容的形式系統,只要蘊涵皮亞諾算術公理,可以在其中構造在體系中不能被證明的真命題,因此通過推演不能得到所有真命題(即體系是不完備的)。

2、任何邏輯自洽的形式系統,只要蘊涵皮亞諾算術公理,它就不能用於證明它本身的相容性。

題主明顯完全不懂數學,態度還很犟。用個通俗的說法告訴你你所說的公理本身都是yy,都是你說的腦洞,明白了沒。縱使你天王老子,也管不著人怎麼yy。

你說這人的yy和那人的yy矛盾了,矛盾了就矛盾了。你說彼yy在我的yy裡面不成立,那是你的yy的事情,跟彼yy有什麼關係。

12樓:whale

估計推翻了,也只是把數學多乙個分支。就像當初物理本來只是牛頓什麼的,後面多了一些和牛頓矛盾的理論,也就是相對論量子理論出現。

13樓:好像

數學家們曾經發明了乙個變數,奇怪的是這個變數一會當做0可以去掉,一會又可以在分數中約分,這顯然違反了代數中最重要的0不能做除數。就因為這件事有人開始質疑數學的真實性,引發了持續150年左右的第二次數學危機。

後來,數學家們終於給了它乙個十分嚴謹定義,使得數學並沒有因此崩塌。並且通過它引出的方法還使得許多數學,物理問題得到解決,科技得到進步。

時至今日,其推出的微積分還被許多人所學習,而其中堅實的基礎,便是這可約分亦可作0的無窮小量

所以要是你推翻了公理,且有理有據,那可能數學會多一門課還可以順便回答知乎的如何讓自己的名字保留2023年?

(本人文筆不好請見諒)

14樓:哈哈

數學研究的是在某條公理成立的情況下的會發生什麼。至於公理對不對,這不是數學研究的。公理的正確性不來自於其正確,而來自於人們相信它是正確的。所以數學公理不存在推翻的可能。

15樓:愛提提

首先,公理不代表永遠是正確的。

其次,公理在不同的層面如巨集觀或微觀層面不一定都是適用的。

但現代的整個知識理論體系又是建立在公理之上的,準確的說公理就是知識理論體系的地基,一旦抽出來,那麼意味著整個建築要推倒重來,工程量巨大得難以想象!

這也是為什麼科學家都非常害怕哪天有一條公理突然失靈了的原因所在

16樓:SmallY

反對 @北方北方北 的回答,雖然他的答題思路是對的,但裡面有事實性錯誤.

在數學中,如果推翻了一條很基礎的公理,那麼會造成什麼後果?

《幾何原本》中所給出的公設如下:

由任意一點到另外任意一點可以畫直線.

2. 一條有限直線可以繼續延長.

3. 以任意點為心及任意的距離可以畫圓.

4. 凡直角都彼此相等.

5. 同平面內一條直線和另外兩條直線相交,若在某一側的兩個內角的和小於二直角的和,則這二直線經無限延長後在這一側相交.

顯然其中並沒有所謂的"真正的三角形內角和是180°」這麼一句話,事實上,這個命題是由公設匯出的乙個定理而已,而且也沒有"真正的"這麼一種說法,數學命題是不會使用這種無謂的修辭的.

非歐幾何真正修改的其實是第五公設,將其修改為了"在平面內,從直線外一點,至少可以做兩條直線和這條直線平行",從而最終得到了答主所說的"非歐幾何中的三角形內角和不為180°".

17樓:寶典君

在回答這個問題之前,

想先講講數學界到底是怎麼確定公理的。

就好比我們會問,

為什麼這個字要這麼讀?

為什麼這個字就是這麼寫的?

不能是別的寫法嗎?

那麼,數學的公理是如何確定的呢?

建立公理體系,不是因為某個公理天然就是對的,而是因為我們需要用公理去刻畫某些東西。

我們要研究自然數,我們覺得自然數應該擁有某些性質,所以我們將這些性質以邏輯的語言化為乙個個命題,從中抽取那些我們認為刻畫了最本質特點的那些命題,將它們作為公理。

我們研究數學,是研究抽象結構之間的關係,這些結構很多都從實際生活中抽象而來,或者是因應數學研究的需要而發展出來。我們研究的是這些結構本身,而公理只是我們刻畫這些結構的一種手段。如果反過來,認為公理才是對的,這反而是倒果為因,被單一的系統蒙蔽了雙眼。

因為我們知道,一般規律的產生是基於兩個原則確定,一種是歸納法,一種是演繹法

歸納法,指的是從許多個別事例中獲得乙個較具概括性的規則。這種方法主要是從收集到的既有資料,加以抽絲剝繭地分析,最後得以做出乙個概括性的結論。

演繹法,則與歸納法相反,是從既有的普遍性結論或一般性事理,推導出個別性結論的一種方法。由較大範圍,逐步縮小到所需的特定範圍。

公立的確定其實也和這個類似,那麼,歷史上有哪些被推翻過的猜想呢?

平行線第五公設的證明

歐幾里德幾何也就是我們大多數人所學的平面幾何,平面幾何的整個基石就是那五條公設,也就是我們數學中的公理,也即不用證明公認的定理.

數學家們對前四條公設是認可的,但一直對第五條公設有懷疑.針對第五條公設,數學家們經歷了長期的探索,發展出了非歐幾何,也就是現在所講的雙曲幾何(羅巴切夫斯基幾何)和橢圓幾何(黎曼幾何).不得不講,錯誤的猜想也是有其巨大意義的。

費馬數猜想

這個猜想是針對素數規律的乙個猜想,當n為正整數時,以下這個代數式所求的數是素數.

當你將1、2、3、4等代入時,都可以驗證為素數.於是猜想它就是素數的表示式,可能是由於將5代入時資料太大的原因.確實,5代入後還真的不是素數,這樣這個猜想也就被推翻了.

18樓:一異

數學上的公理是不需要證明的,反過來說也就無所謂推翻。

事實上,數學中的公理,只是一種設定,然後在這些設定的基礎上推演。或許因為這個原因,有時候「公理」也被稱作「公設」。

原則上,公設是可以任意定義的,只要一套公設是完備的,而且不會互相矛盾,然後你就可以在這個基礎上推演出一套系統。只不過如果這套公設完全沒有現實意義,恐怕這套系統推演出來也不會有太多的人感興趣——也就是說沒什麼用處。

說到公理系統,就不得不說歐幾里得的《平面幾何》,以及非歐幾何。可以說這就是「推翻公理」的結果。

歐幾里得的平面幾何中,前四條公理都非常簡單,基本就是乙個概念的定義;而第五條公理顯得格外不同,複雜而不直觀,看起來不像公理而是乙個定理。

很多數學家都試圖從前面四條公理推導出第五條公理,結果發現根本不可行。相反,在這個過程中,發現通過重新設定第五公理,可以推導出一套完全不同的幾何。

非歐幾何主要包括羅巴切夫斯基的羅氏幾何和黎曼的黎曼幾何。

歐幾里得幾何中,規定:過直線外一點,有且只有一條平行線。羅巴切夫斯基把公設改成:

過直線外一點,可以有起碼兩條平行線。羅巴切夫斯基一開始只是試圖用反證法證明平行公設,結果發現推導出了一套和歐氏幾何相當的一整套系統,而且跟歐氏幾何一樣自洽。羅氏幾何一開始被提出的時候,並沒有發現實際的幾何意義,羅巴切夫斯基自己把這套東西叫做「想象幾何」。

多年以後,數學家才發現羅氏幾何可以在曲面上畫出來,這種曲面是形狀類似於馬鞍形的雙曲面,從而羅氏幾何有了實際的幾何意義,羅氏幾何也因此被稱為「雙曲幾何」。

把平行公設改為:而過直線外一點,一條平行線也沒有。黎曼發展出了黎曼幾何,黎曼幾何的所有幾何圖形,都可以在橢球面上描繪出來,所以黎曼幾何也被叫做「橢圓幾何」

兩條重合的直線在數學上是視為一條直線嗎?

簡潔的回答是 通常來說,會視為兩條直線。稍微展開點的回答是 這是乙個定義問題,或者說,這是乙個觀念性的問題。這種問題有乙個特點 只要不和現有體系矛盾,你想怎麼定義就怎麼定義,你想怎麼看待就怎麼看待。回到這個問題,你視為一條直線還是兩條直線,關鍵在於你想幹嘛。如果只是單純研究乙個幾何題,那你沒必要把一...

日本的姓氏中是不是從一條到九條都有呢?如果有的話,他們之間是不是有什麼關係呢?

AT水戰霸主 都是姓氏 苗字 條 似乎是京都的橫向街道的意思,就跟北京的一環路二環路三環路一樣的。一條氏日本貴族世家,為五攝家之一,藤原氏北家九條流之後。一條氏的鼻祖是藤原氏九條流的九條道家四男九條實經 分家後開創了一條家改名一條實經 二條氏二條氏,五攝家之一的公家。藤原氏北家 九條家流。鎌倉時代 ...

划艇比賽的時候如果一條艇的槳被另一條艇打壞了要如何判定責任?

隋利國 專業運動員不請自來 比賽這種情況極少出現,我沒記錯應該用的是concept 2的槳,n年以來,這種槳我就見過乙隻斷的,是某年運船的車撞斷,從斷槳的斷面來看,槳杆是n多層碳纖維加聚酯,我還踩過半天,人力弄壞的可能性極低!這種情況,嚴格意義上說遇到人了必須返航,斷槳出現在100公尺啟航區必須返航...