關于數(shù)學的由來簡短20字,數(shù)學的由來這個問題很多朋友還不知道,今天小六來為大家解答以上的問題,現(xiàn)在讓我們一起來看看吧!
1、數(shù)理邏輯這門學科建立以后,發(fā)展比較迅速,促進它發(fā)展的因素也是多方面的。
2、比如,非歐幾何的建立,促進人們去研究非歐幾何和歐氏幾何的無矛盾性,就促進了數(shù)理邏輯的發(fā)展。
3、 集合論的產(chǎn)生是近代數(shù)學發(fā)展的重大事件,但是在集合論的研究過程中,出現(xiàn)了一次稱作數(shù)學史上的第三次大危機。
4、這次危機是由于發(fā)現(xiàn)了集合論的悖論引起。
5、什么是悖論呢?悖論就是邏輯矛盾。
6、集合論本來是論證很嚴格的一個分支,被公認為是數(shù)學的基礎。
7、 1903年,英國唯心主義哲學家、邏輯學家、數(shù)學家羅素卻對集合論提出了以他名字命名的“羅素悖論”,這個悖論的提出幾乎動搖了整個數(shù)學基礎。
8、 羅素悖論中有許多例子,其中一個很通俗也很有名的例子就是“理發(fā)師悖論”:某鄉(xiāng)村有一位理發(fā)師,有一天他宣布:只給不自己刮胡子的人刮胡子。
9、那么就產(chǎn)生了一個問題:理發(fā)師究竟給不給自己刮胡子?如果他給自己刮胡子,他就是自己刮胡子的人,按照他的原則,他又不該給自己刮胡子;如果他不給自己刮胡子,那么他就是不自己刮胡子的人,按照他的原則,他又應該給自己刮胡子。
10、這就產(chǎn)生了矛盾。
11、 悖論的提出,促使許多數(shù)學家去研究集合論的無矛盾性問題,從而產(chǎn)生了數(shù)理邏輯的一個重要分支—公理集合論。
12、 非歐幾何的產(chǎn)生和集合論的悖論的發(fā)現(xiàn),說明數(shù)學本身還存在許多問題,為了研究數(shù)學系統(tǒng)的無矛盾性問題,需要以數(shù)學理論體系的概念、命題、證明等作為研究對象,研究數(shù)學系統(tǒng)的邏輯結構和證明的規(guī)律,這樣又產(chǎn)生了數(shù)理邏輯的另一個分支—證明論。
13、 數(shù)理邏輯新近還發(fā)展了許多新的分支,如遞歸論、模型論等。
14、第歸論主要研究可計算性的理論,他和計算機的發(fā)展和應用有密切的關系。
15、模型論主要是研究形式系統(tǒng)和數(shù)學模型之間的關系。
16、 數(shù)理邏輯近年來發(fā)展特別迅速,主要原因是這門學科對于數(shù)學其它分支如集合論、數(shù)論、代數(shù)、拓撲學等的發(fā)展有重大的影響,特別是對新近形成的計算機科學的發(fā)展起了推動作用。
17、反過來,其他學科的發(fā)展也推動了數(shù)理邏輯的發(fā)展。
18、 正因為它是以門新近興起而又發(fā)展很快的學科,所以它本身也存在許多問題有待于深入研究。
19、現(xiàn)在許多數(shù)學家正針對數(shù)理邏輯本身的問題,進行研究解決。
20、 總之,這門學科的重要性已經(jīng)十分明顯,他已經(jīng)引起了更多人的關心和重視。
21、 參考文獻:有關資料。
本文分享完畢,希望對大家有所幫助。
標簽:
免責聲明:本文由用戶上傳,如有侵權請聯(lián)系刪除!