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