《幾何與數理邏輯》是2007年北京師範大學出版社出版的圖書,作者是湯璪真。本書主要對幾何與數理邏輯進行了詳細介紹。
基本介紹
- 書名:幾何與數理邏輯
- 作者:湯璪真 著
- 譯者:李仲來 譯
- 出版社:北京師範大學出版社
《幾何與數理邏輯》是2007年北京師範大學出版社出版的圖書,作者是湯璪真。本書主要對幾何與數理邏輯進行了詳細介紹。
《幾何與數理邏輯》是2007年北京師範大學出版社出版的圖書,作者是湯璪真。本書主要對幾何與數理邏輯進行了詳細介紹。...
數理邏輯,是用數學方法研究邏輯或形式邏輯的學科,屬形式邏輯形式上符號化、數學化的邏輯,本質上仍屬於知性邏輯的範疇。數理邏輯又稱符號邏輯、理論邏輯。它既是數學...
自17世紀後期G.W.萊布尼茨起是數理邏輯的萌芽和發展時期,是形式邏輯的現代階段...同時,各種幾何或代數公理系統的出現,表明一個嚴格公理系統可以有不同解釋或模型...
在數理邏輯中,形式化證明並不是以自然語言書寫,而是以形式化的語言書寫:這種...幾何證明反證法 反證法是一種古老的證明方法,其思想為:欲證明某命題是假命題,...
幾何的真實性問題或者說幾何的套用可靠性問題等的討論,在完善數學基礎的過程中,相繼出現了一些新的數學分支,如數的概念、分析基礎、數學基礎、數理邏輯等,公理化...
6 在群論中 7 數理邏輯中 8 在射影幾何中 9 對合的總數 對合概念 編輯 在數學中,對合(involution)或對合函式,是自己的逆函式的函式,就是說f(f(x)...
他曾先後致力於不變性理論、代數數域理論、幾何基礎、積分方程、物理、數學基礎和數理邏輯的研究。 在數理邏輯和數學基礎方面,希爾伯特的工作具有重大的意義和影響。...
邏輯是探索、闡述和確立有效推理原則的學科,最早由古希臘學者亞里士多德創建的。用數學的方法研究關於推理、證明等問題的學科就叫做數理邏輯。也叫做符號邏輯。...
其中,《數理邏輯導論》、《遞歸函式論》兩本專著獲1978年全國科技大會獎,《數理邏輯教程》獲全國優秀教材獎,《質點幾何學》獲全國城市出版社優秀圖書一等獎;學術論文...