《吳文俊與中國數學》是2016年上海交通大學出版社出版的一本圖書,作者是姜伯駒。
基本介紹
- 中文名:吳文俊與中國數學
- 出版時間:2016年8月15日
- 出版社:上海交通大學出版社
- 作者:姜伯駒
- 字數:350千字
- 頁數:292 頁
- 版次:1版
- 定價:88 元
- ISBN:978-7-313-10085-6
《吳文俊與中國數學》是2016年上海交通大學出版社出版的一本圖書,作者是姜伯駒。
吳文俊認為中國古代數學是算法化的數學,由此,開闢了中國數學史研究的新思路與新方法,開拓了數學機械化的嶄新領域。“體力勞動機械化,我們沒有份,就一落千丈了、挨打了,就與這有關係;腦力勞動機械化你不能錯過,錯過了這個機會就永世不得翻身,這是我一直堅決強調的,所以我對我的數學機械化寄予了厚望。”他還...
《吳文俊與中國數學》是2016年上海交通大學出版社出版的一本圖書,作者是姜伯駒。內容簡介 本書是慶賀2009年吳文俊先生九十華誕的中文文集。本文集收錄了50多篇文章,邀請了數學界的名家和吳先生的學生們,從不同的視角撰文介紹吳先生在拓撲學、數學機械化和古今數學史研究等三個方面的學術成就,對吳先生推動中國數學...
中國科技大學副校長朱長飛教授和國家數學與交叉科學中心副主任高小山研究員共同為中科院吳文俊數學重點實驗室揭牌。中國科大申請建設的中科院吳文俊數學重點實驗室是高水平研究平台的一種形式,其建設對引進和培養優秀人才、推動學校數學學科的發展具有重要作用。
中國科學院數學機械化重點實驗室依託:中國科學院數學與系統科學研究院。學術前沿 "數學機械化"是我國數學家吳文俊先生在七十年代末開始倡導的一個研究領域,是腦力勞動機械化在數學科學的學術實踐。數學機械化思想繼承了中國古代數學的傳統,它的著眼點在數學,但又具有明顯的交叉性。所謂機械化是指刻板化與規格化。十七...
吳文俊先生提出,數學機械化思想貫穿於中國傳統數學,數學機械化思想是我國古代數學的精髓。他分析了中國傳統數學的光輝成就在數學科學進步歷程中的地位和作用,明確指出,源於西方的公理化思想和源於中國的機械化思想,對於數學的發展都發揮了巨大作用,理應兼收並蓄。如今,計算機科學被認為是算法的科學。以算法為核心的...
《中國數學史大系》是由 吳文俊,李兆華編寫, 北京師範大學出版社出版的一本書籍。這本書主要寫了清代中期至清代末期中國數學發展的情形。內容簡介 本卷論述清代中期至清代末期中國數學發展的情形。時間由乾隆三十七年開館纂修《四庫全書》至20世紀初期清代數學教育制度的結束,約一百三十餘年。本期中國數學發展的情形...
《吳文俊全集·數學思想卷》是2019年05月01日科學出版社出版的圖書,作者是吳文俊。內容簡介 本書收載了吳文俊的非專業性文論,包括發表過的通俗文章和在各種場合所作的報告、講話以及撰寫的序言和書評。這些非專業的文論綜合反映了吳文俊的數學思想,內容涉及對整個數學的認識、對發展數學的主張以及數學研究的治學之道、...
它開啟了中國數學史研究的新階段. 這些論文中反覆運用的由作者首次概括陳述的“出入相補原理”, 已成為解釋中國古代幾何中許多疑難問題的一把“金鑰匙”. 本書一系列文章中提煉和闡發的“古證復原原則”, 是對數學史研究方法論的經典貢獻. 吳文俊的數學史論文提供了古為今用的典範, 是吳文俊寶貴的科學文化遺產....
吳文俊套用數學獎由單位(具有法人資質)或兩位符合下列條件之一的專業人員提名:(一)中國科學院和中國工程院院士或外籍院士。(二)中國工業與套用數學學會、中國數學會、中國運籌學會、中國數學會計算數學學會常務理事;學會各專業委員會主任;各省、市、自治區工業與套用數學學會理事長。(三)CSIAM顧問委員會成員。第...
2019年5月9日,上海交通大學吳文俊數學中心揭牌成立。發展歷程 2019年5月9日,為紀念中國科學院院士、第三世界科學院院士、首屆國家最高科學技術獎獲得者吳文俊(1919—2017)誕辰100周年,上海交通大學吳文俊數學中心揭牌成立。研究方向 該中心致力於數學科學前沿研究,基礎數學科學以及數學史領域的重大問題,以數據科學中...
消除對數學的神秘感 ――推薦《數學譯林》對中國傳統數學的再認識 《現代數學新進展》序 《陳省身文選、傳記、通俗演講及其它》序 《吳文俊文集》前言 慎重地改革數學教育 在《中國現代數學家傳》首卷出版座談會上的講話 法國數學新派――布爾巴基派 數 學 史 中國古代數學對世界文化的偉大貢獻 近年來中國數學史...
《數字之舞:數學家吳文俊》是2012年江西高校出版社出版的圖書,作者是王靜。圖書簡介 國內、國際大獎使吳文俊在中國成了名人,而他卻很不習慣這樣在人前顯現自己,總是竭盡全力遁跡於人海。但一次又一次大獎的奪目光彩,使他無法避開媒體和人們的高度關注。(二)毋庸置疑,吳文俊是一位了不起的數學家。對這樣一位...
這些重要成果被稱為“吳文俊示性類”“吳文俊公式”,此外他還引入了新的拓撲學不變數。在機器證明方面,他提出了**性的概念、證明方法等內容,解決了平面幾何與初等微分幾何的機器證明問題,並在電子計算機上得到了實現,並且他還得到了用機器實現和創造定理的重大成果。在中國數學史方面,他提出了對中國古代在數論,...
本卷收錄了吳文俊的《數學機械化》一書。本書是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文的綜述。本書試圖以構造性與算法化的方式來研究數學,使數學推理機械化以至於自動化,由此減輕繁瑣的腦力勞動。 全書分成三個部分:第一部分考慮數學機械化的發展歷史,特彆強調在古代中國的發展歷史。第...
1999年至2011年,數學系共有6名博士生獲得“全國百篇優秀博士論文”,6名博士生獲得中科院優秀博士論文獎,2名研究生獲得中科院院長特別獎。學術研究 科研平台 據2018年2月學院官網顯示,學院擁有中國科學院吳文俊數學重點實驗室、中國科學技術大學數學研究所、國家數學與交叉科學中心合肥分中心3個科研平台。科研成果 197...
本質均衡是一類特殊的納什均衡, 吳文俊是能在早期就認識納什理論的深刻意義並率先作出有生命力的貢獻的少數數學家. 《具有對偶有理分割的代數簇》等一組代數幾何學論文, 記載了吳文俊在代數幾何領域的成果, 其中最重要的就是對於含奇點的代數簇定義了陳省身示性類. 本書最後的《積體電路設計中的一個數學問題》《...
改革開放以後,數學所以基礎理論研究為主,兼顧套用數學、計算數學和計算機科學等其它方向。50多年來,數學所在科學研究和人才培養方面取得了輝煌成績。獎項 如國家自然科學獎一等獎數學方面全部六項獎中有三項出自數學所; 華羅庚先生的“典型域上的多元復變數函式論”(1956獲獎)開闢了一個重要研究領域;吳文俊先生的“...
《吳文俊全集·數學機械化I》是2019年6月龍門書局出版的圖書,作者是吳文俊。內容簡介 本卷收錄了吳文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 一書. 本書是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文...
據悉,吳文俊是中國著名數學家、首屆國家最高科學技術獎獲得者。他開創的數學機械化在國際上被譽為“吳方法”。此後人工智慧、並聯數控技術、模式識別等諸多領域取得的重大科研成果,背後都有數學機械化的廣泛套用。吳文俊人工智慧科學技術獎是中國智慧型科學技術領域唯一以吳文俊院士命名、依託社會力量設立的科學技術獎,由...
本卷收錄了吳文俊在數學機械化領域發表的46篇論文,內容包括:幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器證明與最佳化問題的有限核定理等數學機械化領域的奠基性成果,還包括數學機械化方法在數學定理的自動發現、天體中心構型問題求解、平面機構定理的機器證明、...
70年代後期,在計算機技術大發展的背景下,吳文俊繼承和發展了中國古代數學的傳統(即算法化思想),轉而研究幾何定理的機器證明,徹底改變了這個領域的面貌,是國際自動推理界先驅性的工作,被稱為“吳方法”,產生了巨大影響。機器證明 機器證明是使用計算機證明定理,也稱為定理的機械證明或自動證明。作為計算機科學的...
機器證明及其套用是中國攀登計畫項目之一。該項目的核心內容主要是幾何定理機器證明和非線性代數方程組理論、算法和套用。基本簡介 實際上,機器證明研究領域的範圍要廣泛得多。在國外則更一般地叫做自動推理。我們把幾何定理機器證明和非線性代數方程組作為主攻方向,一方面是因為吳文俊先生在70年代的突出工作,使中國在此...