相關詞條
-
泛代數
的共性的更加一般的概念。這種方法和任務,早在1898年A.N.懷特海...才真正發展起來。 推導 設A是一個非空集合,n≥1是自然數，所謂A的一個n元運算，是指A×A×……×A（n個A的笛卡兒積）到A的一個映射ω，元素...
介紹 推導 參考書目 -
新實在論
·羅素、A·N·懷特海、S·亞歷山大、美國的R·B·佩里、W·P·蒙塔古、E...、羅素和懷特海以及他們的信徒。摩爾依據常識說明物理對象不依賴心靈而存在，他...或共相也和物理對象一樣是獨立的實在。懷特海的“有機體論”或“過程哲學”，是新...
簡介 形成和演變 基本內容和特點 認識論上的分歧 -
張素誠
等等。50年代前夕，懷特海證明：當n 2時，A2n多面體的倫型與A2n上...獲得這種曲線的基本定理。在拓撲學研究中，曾獲得An2（n 2）多面體的法...介紹，在牛津大學J．H．C．懷特海（White－head）教授的指導下攻讀...
個人簡歷 成果簡介 成長經歷 服務生產 有關傳記 -
新基礎集合論
因構想出來作為對英國哲學家羅素和其老師懷特海的巨著《數學原理》中邏輯...描述的個體組成。對於每個(元-)自然數n，類型n+1的對象是類型n對象的集合；類型n的集合有類型為n-1的成員。用等式連線的類型必須有相同的類型...
概述 類型論TST 蒯因集合論 NF(U) 如何避免集合論悖論 序類型的引理 -
邏輯類型論
《以類型論為基礎的數理邏輯》和1910—1913年與懷特海合著的《數學原理...屬於≤n層並且至少有一個變目是第n層的, 那么它便屬於第n + 1層。第i...高階數為n, 那么當有一個屬於n階的變元的兩次出現時, 該命題函項的階數...
-
羅素邏輯派
與-1是關係，並且互為逆關係。+1是n+1對n的關係，-1是n對n+1的關係。一般地，如果m是任何歸納數，對任何n而言，+m是n+m對n的關係，-m是n對n+m的關係。+m與m不同，因為m不是一個關係，而是許多類的一個...
詳細 -
邏輯學語言
0,1 ， 2 ，…， n ，…這些自然數的性質。除此之外，它還包括+， · 等用來表示自然數加法和乘法運算的符號。對任意的自然數 m 和 n ，人們都可以進行兩個自然數的加法（ m+n ）和乘法（ m·n ）的運算...
邏輯學的發展 結 論 -
代數K理論
這一著名猜想過程中，啟發和派生出很多代數 K 理論的工作。 懷特海群K1...方式定義的懷特海群，用K1b表示，其具體構造如下：首先由 b構造新範疇愋...,A【t,t-1】由洛朗多項式組成,其中n≤m；n、m∈Z。H.巴斯等人...
簡介 參考書目 預修課程 教學目的、要求 主要內容 -
葉彥謙
討論班，讀了不少懷特海（J.H.C.Whitehead）和魏特尼（H...一旦完成，則希爾伯特第16問題在n=2的情況也就自然地解決了．有趣...
人物簡介 生涯經歷 科研教學 治學經驗 -
數學與文化
理想。柏拉圖之後的兩千多年，即1939年12月，英國數學家、哲學家懷特海...
作者簡介 目錄 背景知識 內容理解 語言品味
