Steiner問題--分角線相等的三角形(初等幾何機(jī)器證明問題)(精)/現(xiàn)代數(shù)學(xué)中的著名定理縱橫
定 價(jià)：48 元
叢書名：現(xiàn)代數(shù)學(xué)中的著名定理縱橫談叢書
當(dāng)前圖書已被 14 所學(xué)校薦購(gòu)過！
查看明細(xì)
- 作者：吳文俊 著
- 出版時(shí)間：2020/11/1
- ISBN：9787560390413
- 出 版 社：哈爾濱工業(yè)大學(xué)出版社
- 中圖法分類：O124.1
- 頁(yè)碼：76
- 紙張：
- 版次：1
- 開本：16開
本書通過一個(gè)古老問題：內(nèi)角或外角分角線相等的三角形是否等腰的研究，初步介紹了利用電子計(jì)算機(jī)證明初等幾何命題的一些概況，可作為電子計(jì)算機(jī)在邏輯證明方面應(yīng)用的啟蒙讀物。
本書可供中學(xué)師生、大學(xué)師生及數(shù)學(xué)愛好者參考閱讀。
吳文俊 1919年5月出生于上海，1940年畢業(yè)于上海交通大學(xué)數(shù)學(xué)系，著名數(shù)學(xué)家，中國(guó)科學(xué)院院士。
吳文俊院士的研究工作涉及數(shù)學(xué)的諸多領(lǐng)域，包括代數(shù)拓?fù)鋵W(xué)與微分拓?fù)鋵W(xué)、代數(shù)幾何學(xué)、微分幾何學(xué)、對(duì)策論及中國(guó)數(shù)學(xué)史、數(shù)學(xué)機(jī)械化理論、應(yīng)用數(shù)學(xué)等領(lǐng)域。在拓?fù)鋵W(xué)方面，他得到了關(guān)于示性類、示嵌類等領(lǐng)域內(nèi)許多獨(dú)特的見解，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。這些重要成果被稱為“吳文俊示性類”“吳文俊公式”，此外他還引入了新的拓?fù)鋵W(xué)不變量。在機(jī)器證明方面，他提出了**性的概念、證明方法等內(nèi)容，解決了平面幾何與初等微分幾何的機(jī)器證明問題，并在電子計(jì)算機(jī)上得到了實(shí)現(xiàn)，并且他還得到了用機(jī)器實(shí)現(xiàn)和創(chuàng)造定理的重大成果。在中國(guó)數(shù)學(xué)史方面，他提出了對(duì)中國(guó)古代在數(shù)論，代數(shù)，幾何等方面成就的精辟見解。
吳文俊院士在數(shù)學(xué)上做出了許多重大貢獻(xiàn)，至今還有許多重要成果被國(guó)際同行廣泛引用，影響深遠(yuǎn)，享譽(yù)世界。
第1章 一個(gè)古老問題：兩條內(nèi)分角線相等的三角形是等腰三角形
第2章 傳統(tǒng)證法與機(jī)器證法
第3章 機(jī)器證法舉例
第4章 機(jī)器證法大意
第5章 機(jī)器證法再舉例
第6章 回到前面的古老問題
第7章 “兩條外分角線相等的三角形是等腰三角形”，這個(gè)猜想成立嗎?
附錄 大智為師——吳文俊先生訪談錄
進(jìn)一步閱讀的參考資料
書單推薦
