胡世華文集（簡體書）

本集內容主要有三個領域：邏輯演算、遞歸函數論、科學哲學，共收入58篇文章，1943年發表的“論人造的語言”仔細地介紹并解釋了一階謂詞演算。《數理邏輯基礎》著重介紹了直觀的自然揄的證明格式，這次出版的是胡世華1957年講稿的原稿，只對其中明顯的文字上的不適當之處作了修改，文集編進了多篇多值邏輯、遞歸函數論的文章，還有論述數理邏輯對計算機發展的重要作用以及這兩學科間的關系的文章，有幾篇文章是未曾發表過的，如《計算機的分“代”和我國的“對策”問題》等。

序 楊東屏
懷念胡世華先生　唐稚松
紀念胡世華先生　許孔時
我所知的胡世華先生　董韞美
紀念胡世華先生　周巢塵
紀念胡世華老師　王世強
半世紀前的往事　陶仁驥
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-值命題演算系統的統一結構　胡世華　王駒　程慶文
后記