邏輯數學
研討包括無窮觀在內的數學基礎問題
邏輯數學是研討包括無窮觀在內的數學基礎問題,“數學基礎”是20世紀上半葉所誕生的一個數學分支學科,該學科專門研究如何為古今種種數學系統奠定其理論基礎的問題,或者說如何為種種數學系統奠定其邏輯基礎的問題,本書內容的核心主題是研討無窮觀問題,而無窮觀問題的研究和爭論不僅由來久遠,而且廣泛涉及數學、計算機科學、邏輯學和哲學等眾多領域。
目錄
邏輯數學是研討包括無窮觀在內的數學基礎問題,“數學基礎”是20世紀上半葉所誕生的一個數學分支學科,該學科專門研究如何為古今種種數學系統奠定其理論基礎的問題,或者說如何為種種數學系統奠定其邏輯基礎的問題,本書內容的核心主題是研討無窮觀問題,而無窮觀問題的研究和爭論不僅由來久遠,而且廣泛涉及數學、計算機科學、邏輯學和哲學等眾多領域。
目錄