數學(xué)基礎概論

數學(xué)基礎概論
 
摘要：對于數學(xué)這門(mén)學(xué)問(wèn)，當我們從它的最熟悉的部分出發(fā)時(shí)，可以在兩個(gè)相反的方向進(jìn)行研究。比較熟悉的方向是構造性的，逐步增強復雜程度：從整數到分數實(shí)數復數；從加法到乘法到微分和積分，以至更高等的數學(xué)。另1較為生疏的方向，是通過(guò)分析走向抽象性和邏輯簡(jiǎn)單性；我們不討論從假定的起點(diǎn)開(kāi)始可以定義什么或可以演繹什么，而去探討能夠找到什么可以由之定義或演繹出我們的出發(fā)點(diǎn)的1般思想。羅素在《數學(xué)哲學(xué)導論》中所說(shuō)的后1方向既數學(xué)哲學(xué)或數學(xué)基礎。我們難以確切地說(shuō)出數學(xué)基礎所研究的具體對象，但我們可以這樣粗略地理解數學(xué)基礎的內容，即：給現存數學(xué)1個(gè)穩固的基礎，1個(gè)合理的解釋?zhuān)?種完美統1的形式，通過(guò)這種形式可以演繹全部現存數學(xué)。也許這只是1個(gè)理想，但仍然可以作為數學(xué)基礎研究的1個(gè)終極目標。在這篇文章里，先討論數學(xué)基礎的1些重要問(wèn)題；然后簡(jiǎn)述3個(gè)學(xué)派的起因，成果以及他們所面臨的困境；接著(zhù)介紹結構主義的基本觀(guān)點(diǎn)；最后試著(zhù)給出關(guān)于數學(xué)基礎的1些基本看法，這也是本文所要完成的最后1個(gè)目標。

關(guān)鍵詞：數學(xué)基礎；無(wú)限；存在；真理；相容性；邏輯主義；直覺(jué)主義；形式主義；公理化；結構；集合論

Introduction to Foundations of Mathematics
 
Abstract: As to the science of mathematics, we can make our research toward two opposite directions when we begin from the most familiar part. The comparative familiar diction is about structure. Increasing the degree of complexity gradually, which is from  integer to fraction, real number and plural, from addition to multiplication, differentiation and integration, even get to more advanced mathematics. The other comparative strange direction is to reach abstraction and logical simplicity through analysis. However, we do not discuss what we can definite  deduct when beginning with presumption, but to explore the general ideas of our point of departure we find out to definite and deduct. In Introduction to Mathematical Philosophy, the later view as Russel refer to is about mathematical philosophy and foundations of mathematics. Although we can not exact tell the concrete object the foundations of mathematics research into, we can understand its content in general. That is to say, we endow present mathematics with a stable basis, a reasonable explanation and a perfect and united form. And through this form, we can deduct the whole present mathematics. Maybe this only to be a dream, but we can still take it as a terminal goal in foundations of mathematics studies. In this passage, well first discuss several important issues about the foundations of mathematics. Then, well state in brief the origin and outcomes of three schools, and the hardship they are facing. Next, well introduce the elemental views of structuralism. At last, well try to put forward a few basic opinions about the foundations of mathematics. And this is also the final aim we want to attain.

Keywords: foundations of mathematics;  unlimitation;  existece;  truth;  compatibility;  logicism;  intuitionalism;  formalism;  axio matization structure;   set theory

前  言

關(guān)于數學(xué)基礎的討論在柏拉圖時(shí)代就開(kāi)始了，由柏拉圖發(fā)展起來(lái)的唯理論在現代數學(xué)中仍有重要的地位，之后數學(xué)基礎問(wèn)題也不間斷地被討論到，而數學(xué)基礎發(fā)展的輝煌時(shí)期卻是19世紀末期及20世紀前310年。
當實(shí)數的理論建立后，分析的基礎也正式確立了，而代數學(xué)也從當時(shí)的紊亂中走了出來(lái)，并且非歐幾何的相容性問(wèn)題也由歐氏幾何得出，這樣，到1900年為止，數學(xué)的主要分支—算術(shù)，代數，分析及幾何已經(jīng)被嚴密化，而且邏輯學(xué)在當時(shí)也得到了極大的豐富和發(fā)展。面對這種情景，數學(xué)家們欣喜不已，就像彭加勒在第2次國際數學(xué)家大會(huì )上所說(shuō)的：“今天我們可以宣稱(chēng)絕對的嚴密已經(jīng)實(shí)現了！”。 
然而情況真的如此嗎？數學(xué)已經(jīng)有了1個(gè)可靠的基礎了嗎？就在這時(shí)，集合論的幽靈已經(jīng)出現，數學(xué)史上的第3次數學(xué)危機正在醞釀，而羅素打開(kāi)了潘多拉的盒子，它們將再1次考驗數學(xué)家們。1903年，羅素發(fā)表了羅素悖論，即：設N是由所有不屬于自身的集合組成的集合，那么N有屬于誰(shuí)呢？若N屬于N，按照定義不應如此；若N不屬于N，則依定義其應屬于N。其實(shí)在羅素悖論發(fā)表之前，已經(jīng)在集合論的基數理論和序數理論中發(fā)現了悖論，之后也構造了好些悖論，然而以羅素悖論最為有名，這1悖論動(dòng)搖了元素的類(lèi)這1在數學(xué)中廣泛應用的概念，希爾伯特稱(chēng)這個(gè)悖論對數學(xué)界有著(zhù)災難性的后果。
為了解決悖論，以及由此而引起的數學(xué)基礎問(wèn)題，特別是相容性問(wèn)題及數學(xué)本性問(wèn)題，數學(xué)家們做出了各種努力，嘗試為數學(xué)提供1個(gè)可靠的基礎。我們就從數學(xué)基礎中最為關(guān)心的重要數學(xué)基礎問(wèn)題開(kāi)始我們的敘述，接著(zhù)討論基礎學(xué)派所做的各種努力，然后著(zhù)重分析數學(xué)的困境和數學(xué)的本性，最后給出自己的1個(gè)初步結果，試圖從困境中走出來(lái)，達到對數學(xué)的1種整體的理解，給數學(xué)1個(gè)合理的解釋?zhuān)�這就是自己要達到的目標。

【包括：畢業(yè)論文、開(kāi)題報告、任務(wù)書(shū)】

【說(shuō)明：論文中有些數學(xué)符號是編輯器編輯而成，網(wǎng)頁(yè)上無(wú)法顯示或者顯示格式錯誤，給您帶來(lái)不便請諒解�！�

【數學(xué)基礎概論】相關(guān)文章：

全科醫學(xué)概論論文01-01

關(guān)于森林經(jīng)營(yíng)體系概論03-17

土木工程概論論文06-03

土木工程概論的論文05-19

土木工程概論論文07-08

大一自動(dòng)化概論論文06-12

鑒于學(xué)生基礎高校數學(xué)教學(xué)及考核對策思索11-17

生命科學(xué)概論論文（精選7篇）01-25

土木工程概論課程論文11-22