作 者: 湯璪真 著 李仲來 譯
出 版 社: 北京師範大學出版社
ISBN: 9787303084531
出版時間: 2007-04-01
版 次: 1
頁 數: 224
裝 幀: 平裝
開 本: 16開
所屬分類: 圖書>科學與自然>數學
內容簡介
“天體幾何學初步研究”一文,並不是關於我們所在宇宙的幾何研究,而是一種關於球的幾何學。如文中所說“凡有南北極可分之球名日天體”,對於這些“天體”,文中還(仿照天文學)定義了它們的軸、中心、赤道等名稱。湯先生還進一步定義了不少概念,包括例如由“天體”組成的“直線”和它們的“寬”,由“天體”組成的“平面”和它們的“厚”,等等。文中證明了關於這類概念的一些定理。 本文也是一種“開闢新路”性的研究。文中未談這種研究的套用,但筆者有一種模糊的感覺(並非由於本文題目而產生的),就是:這種研究至少可能對天文學的理論性研究有參考作用。(關於這種感覺的來由,請參看筆者在該文後面的附註。)
相關詞條
-
數理邏輯
數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念...
簡介 產生 內容 發展 體系 -
數理邏輯史
以演繹方法為中心內容的形式邏輯已有2000多年的歷史。最早從形式結構來論述演繹推理的著作是古希臘亞里士多德的《工具論》。自亞里士多德起至17世紀後期是形...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
非歐幾何
非歐幾何是一門大的數學分支,一般來講,他有廣義、狹義、通常意義這三個方面的不同含義。所謂廣義式泛指一切和歐幾里的幾何學不同的幾何學,狹義的非歐幾何只是指...
歷史 羅式幾何 黎曼幾何 關係 分支學科 -
分形幾何
普通幾何學研究的對象,一般都具有整數的維數。比如,零維的點、一維的線、二維的面、三維的立體、乃至四維的時空。在20世紀70年代末80年代初,產生了新興的...
產生 內容 套用 分支學科 -
數理邏輯[用數學方法研究邏輯或形式邏輯的學科]
形式邏輯形式上符號化、數學化的邏輯,本質上仍屬於知性邏輯的範疇。 數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。是用數學方...
定義 釋義 產生 內容 發展 -
數理邏輯發展史:從萊布尼茨到哥德爾
內容介紹第一章 導論第一節 數理邏輯史的研究對象和分期第二節 數理邏輯史研究中的幾個方法論問題一 數理邏輯理論的發生和發展同社會實踐的辯證關係...邏輯學說第一編 數理邏輯前史——古典形式邏輯時期第二章 亞里士多德的三段論...
-
非歐幾里得幾何
非歐幾里得幾何是指不同於歐幾里得幾何學的幾何體系,簡稱為非歐幾何,一般是指羅巴切夫斯基幾何(雙曲幾何)和黎曼的橢圓幾何。它們與歐氏幾何最主要的區別在於公...
誕生 內容 影響 啟示 -
微分幾何
微分幾何是運用微積分的理論研究空間的幾何性質的數學分支學科。古典微分幾何研究三維空間中的曲線和曲面,而現代微分幾何開始研究更一般的空間----流形。微分...
內容 分支 相關人物 -
幾何證明
在數學上,證明是在一個特定的公理系統中,根據一定的規則或標準,由公理和定理推導出某些命題的過程,起作用為減少計算量。比起證據,數學證明一般依靠演繹推理,...
定義 基本幾何證明步驟 常見的證明方法