《胡世華文集》是2008年科學出版社出版的圖書，作者是中國科學院軟體所胡世華等。本文集共收入58篇文章，內容涉及邏輯演算、遞歸函式論、科學哲學三個領域。其中1943年發表的“論人造的語言”仔細地介紹並解釋了一階謂詞演算。
基本介紹
- 書名：胡世華文集
- 作者：中國科學院軟體所胡世華 等著
- 出版社：科學出版社
- 出版時間：2008-5-1
- 開本：16
基本信息,內容推薦,作者簡介,目錄,
基本信息
版 次：1 頁 數：775
印刷時間：2008-5-1 字 數：1149000
開 本：16開 紙 張：膠版紙
印 次：1 I S B N：9787030213914
包 裝：平裝
內容推薦
《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當之處作了修改，文集編進了多篇多值邏輯、遞歸函式論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關係的文章，有幾篇文章是未曾發表過的，如《計算機的分“代”和我國的“對策”問題》等。
作者簡介
胡世華，數理邏輯學家。是中國開展數理邏輯研究的代表人物之一，倡導將邏輯研究與數學緊密聯繫起來。他也是國內將邏輯研究與計算機設計相結合的倡導人。
1912年1月28日 生於上海市。
1929—1932年 就讀於天津南開大學。
1932—1935年 就讀於北京大學哲學系。
1936—1940年 就讀於奧地利維也納大學，德國西威廉敏思特大學數學系，獲哲學博士學位。
1941—1943年 任廣東中山大學數學天文系副教授。
1943—1946年 任重慶中央大學哲學係數理邏輯、數學基礎教授。
1946—1962年 任北京大學哲學係數理邏輯、數學基礎教授。
1950—1962年 任北京大學哲學系教授，中國科學院數學研究所研究員、數理邏輯研究室主任。
1958—1963年 兼任中國科學技術大學套用數學系工程邏輯教研室主任。
1963—1985年 任中國科學院計算技術研究所研究員、第九研究室主任。
1979年— 兼任北京計算機學院院長、名譽院長。
1980年— 任中國科學院院士。
1985年— 任中國科學院軟體研究所研究員。
目錄
序 楊東屏
懷念胡世華先生 唐稚松
紀念胡世華先生 許孔時
我所知的胡世華先生 董韞美
紀念胡世華先生 周巢塵
紀念胡世華老師 王世強
半世紀前的往事 陶仁驥
1 論人造的語言 胡世華
2 命題演算之所指 胡世華
3 再現算術新系統及其邏輯常詞——再現算術RA系統的構造 胡世華
4 理論對象 胡世華
5 m-VALUED SUB-SYSTEM OF（m+n）-VALUED PROPOSITIONAL CALCULUS TZU-HUA HOO
6 一個 值命題演算的構造 胡世華
7 四值命題演算與四色問題 胡世華 陳強業
8 值命題演算的有窮值的具有函式完全性的子系統 胡世華
9 一種遞歸式的原始遞歸性 胡世華
10 數理邏輯是應該重視的一門科學 胡世華
11 電子計算機及一些有關的理論問題 胡世華
12 數理邏輯的性質、特點、作用及其成果的哲學意義 胡世華 吳光磊
13 控制論中的哲學問題 胡世華
14 數理邏輯的基本特徵與科學意義 胡世華
15 關於古典演繹邏輯的幾個問題 胡世華
16 一般遞歸函式的範式 胡世華 陸鐘萬
17 高速度發展我國數理邏輯事業——在中國數學會第二次全國代表大會上的發言 胡世華
18 關於開展控制論問題研究的意見 胡世華
19 訊息加工和計算機的數學理論 胡世華
20 關於計算機理論和訊息加工機器的研究的一些意見 胡世華
21 略論數理邏輯的發生、發展和現狀 胡世華
22 遞歸算法論 胡世華
23 核函式與遞歸函式的範式 胡世華
24 電子計算機 胡世華
25 遞歸算法 胡世華
26 核函式 胡世華 陸鐘萬
27 遞歸函式的範式 胡世華
28 加法和乘法 胡世華 黃祖良
29 對於數理邏輯和計算技術的一些看法（代序） 胡世華
30 多種類遞歸算法 胡世華
31 古典謂詞演算 胡世華
32 控制論的發展 胡世華
33 關於原始遞歸性 胡世華 楊東屏
34 如何描述程式語言 胡世華
35 作為現代邏輯學的數理邏輯──在邏輯學討論會上的講話 胡世華
36 關於我國計算機事業的發展問題——1979年計算機學會年會上的書面發言 胡世華
37 質和量的對立統一與數學 胡世華
38 數學、數學基礎理論的發展與人和計算機的分工協同問題 胡世華
39 自然辯證法的研究範圍和社會責任 胡世華
40 胡世華同志三月十五日在業務工作會議上的發言
41 數理邏輯基礎 胡世華
《數理邏輯基礎》出版說明
緒論章
第一章 演繹邏輯的基本規則
第二章 邏輯演算的系統特徵
第三章 數學底邏輯
第四章 重言式
第五章 一致性與完全性
42 計算機對數學的影響 胡世華
43 計算所的調整問題 胡世華
44 數理哲學中的形式主義和柏拉圖主義 胡世華
45 關於計算所體制調整的意見 胡世華
46 關於發展我國計算機事業的意見 胡世華
47 對科學和科學研究的一些看法 胡世華
48 計算機的分“代”和我國的“對策”問題 胡世華
49 對哲學工作的意見 胡世華
50 數理邏輯 胡世華
51 數學基礎 胡世華
52 資訊時代的數學 胡世華
53 關於數學哲學的研究 張 憑 張祖貴 孫小禮
54 遞歸結構 胡世華
55 遞歸結構理論的形式系統和語句的可判定性 胡世華
56 數學問題的可解決性 胡世華
57 數學與計算機科學 胡世華
58 含任意m-值命題演算系統的統一結構 胡世華 王駒 程慶文
後記
懷念胡世華先生 唐稚松
紀念胡世華先生 許孔時
我所知的胡世華先生 董韞美
紀念胡世華先生 周巢塵
紀念胡世華老師 王世強
半世紀前的往事 陶仁驥
1 論人造的語言 胡世華
2 命題演算之所指 胡世華
3 再現算術新系統及其邏輯常詞——再現算術RA系統的構造 胡世華
4 理論對象 胡世華
5 m-VALUED SUB-SYSTEM OF（m+n）-VALUED PROPOSITIONAL CALCULUS TZU-HUA HOO
6 一個 值命題演算的構造 胡世華
7 四值命題演算與四色問題 胡世華 陳強業
8 值命題演算的有窮值的具有函式完全性的子系統 胡世華
9 一種遞歸式的原始遞歸性 胡世華
10 數理邏輯是應該重視的一門科學 胡世華
11 電子計算機及一些有關的理論問題 胡世華
12 數理邏輯的性質、特點、作用及其成果的哲學意義 胡世華 吳光磊
13 控制論中的哲學問題 胡世華
14 數理邏輯的基本特徵與科學意義 胡世華
15 關於古典演繹邏輯的幾個問題 胡世華
16 一般遞歸函式的範式 胡世華 陸鐘萬
17 高速度發展我國數理邏輯事業——在中國數學會第二次全國代表大會上的發言 胡世華
18 關於開展控制論問題研究的意見 胡世華
19 訊息加工和計算機的數學理論 胡世華
20 關於計算機理論和訊息加工機器的研究的一些意見 胡世華
21 略論數理邏輯的發生、發展和現狀 胡世華
22 遞歸算法論 胡世華
23 核函式與遞歸函式的範式 胡世華
24 電子計算機 胡世華
25 遞歸算法 胡世華
26 核函式 胡世華 陸鐘萬
27 遞歸函式的範式 胡世華
28 加法和乘法 胡世華 黃祖良
29 對於數理邏輯和計算技術的一些看法（代序） 胡世華
30 多種類遞歸算法 胡世華
31 古典謂詞演算 胡世華
32 控制論的發展 胡世華
33 關於原始遞歸性 胡世華 楊東屏
34 如何描述程式語言 胡世華
35 作為現代邏輯學的數理邏輯──在邏輯學討論會上的講話 胡世華
36 關於我國計算機事業的發展問題——1979年計算機學會年會上的書面發言 胡世華
37 質和量的對立統一與數學 胡世華
38 數學、數學基礎理論的發展與人和計算機的分工協同問題 胡世華
39 自然辯證法的研究範圍和社會責任 胡世華
40 胡世華同志三月十五日在業務工作會議上的發言
41 數理邏輯基礎 胡世華
《數理邏輯基礎》出版說明
緒論章
第一章 演繹邏輯的基本規則
第二章 邏輯演算的系統特徵
第三章 數學底邏輯
第四章 重言式
第五章 一致性與完全性
42 計算機對數學的影響 胡世華
43 計算所的調整問題 胡世華
44 數理哲學中的形式主義和柏拉圖主義 胡世華
45 關於計算所體制調整的意見 胡世華
46 關於發展我國計算機事業的意見 胡世華
47 對科學和科學研究的一些看法 胡世華
48 計算機的分“代”和我國的“對策”問題 胡世華
49 對哲學工作的意見 胡世華
50 數理邏輯 胡世華
51 數學基礎 胡世華
52 資訊時代的數學 胡世華
53 關於數學哲學的研究 張 憑 張祖貴 孫小禮
54 遞歸結構 胡世華
55 遞歸結構理論的形式系統和語句的可判定性 胡世華
56 數學問題的可解決性 胡世華
57 數學與計算機科學 胡世華
58 含任意m-值命題演算系統的統一結構 胡世華 王駒 程慶文
後記
