胡世華文集

序 楊東屏
懷念胡世華先生　唐稚松
紀念胡世華先生　許孔時
我所知的胡世華先生　董韞美
紀念胡世華先生　周巢塵
紀念胡世華老師　王世強
半世紀前的往事　陶仁驥
1　論人造的語言　胡世華
2　命題演算之所指　胡世華
3　再現(xiàn)算術新系統(tǒng)及其邏輯常詞——再現(xiàn)算術RA系統(tǒng)的構(gòu)造　胡世華
4　理論對象　胡世華
5　m-VALUED SUB-SYSTEM OF（m＋n）-VALUED PROPOSITIONAL CALCULUS　TZU-HUA HOO
6　一個 值命題演算的構(gòu)造　胡世華
7　四值命題演算與四色問題　胡世華　陳強業(yè)
8　 值命題演算的有窮值的具有函數(shù)完全性的子系統(tǒng)　胡世華
9　一種遞歸式的原始遞歸性　胡世華
10　數(shù)理邏輯是應該重視的一門科學　胡世華
11　電子計算機及一些有關的理論問題　胡世華
12　數(shù)理邏輯的性質(zhì)、特點、作用及其成果的哲學意義　胡世華　吳光磊
13　控制論中的哲學問題　胡世華
14　數(shù)理邏輯的基本特征與科學意義　胡世華
15　關于古典演繹邏輯的幾個問題　胡世華
16　一般遞歸函數(shù)的范式　胡世華　陸鐘萬
17　高速度發(fā)展我國數(shù)理邏輯事業(yè)——在中國數(shù)學會第二次全國代表大會上的發(fā)言　胡世華
18　關于開展控制論問題研究的意見　胡世華
19　訊息加工和計算機的數(shù)學理論　胡世華
20　關于計算機理論和訊息加工機器的研究的一些意見　胡世華
21　略論數(shù)理邏輯的發(fā)生、發(fā)展和現(xiàn)狀　胡世華
22　遞歸算法論　胡世華
23　核函數(shù)與遞歸函數(shù)的范式　胡世華
24　電子計算機　胡世華
25　遞歸算法　胡世華
26　核函數(shù)　胡世華　陸鐘萬
27　遞歸函數(shù)的范式　胡世華
28　加法和乘法　胡世華　黃祖良
29　對于數(shù)理邏輯和計算技術的一些看法（代序）　胡世華
30　多種類遞歸算法　胡世華
31　古典謂詞演算　胡世華
32　控制論的發(fā)展　胡世華
33　關于原始遞歸性　胡世華　楊東屏
34　如何描述程序語言　胡世華
35　作為現(xiàn)代邏輯學的數(shù)理邏輯──在邏輯學討論會上的講話　胡世華
36　關于我國計算機事業(yè)的發(fā)展問題——1979年計算機學會年會上的書面發(fā)言　胡世華
37　質(zhì)和量的對立統(tǒng)一與數(shù)學　胡世華
38　數(shù)學、數(shù)學基礎理論的發(fā)展與人和計算機的分工協(xié)同問題　胡世華
39　自然辯證法的研究范圍和社會責任　胡世華
40　胡世華同志三月十五日在業(yè)務工作會議上的發(fā)言
41　數(shù)理邏輯基礎　胡世華
《數(shù)理邏輯基礎》出版說明
緒論章
第一章　演繹邏輯的基本規(guī)則
第二章　邏輯演算的系統(tǒng)特征
第三章　數(shù)學底邏輯
第四章　重言式
第五章　一致性與完全性
42　計算機對數(shù)學的影響　胡世華
43　計算所的調(diào)整問題　胡世華
44　數(shù)理哲學中的形式主義和柏拉圖主義　胡世華
45　關于計算所體制調(diào)整的意見　胡世華
46　關于發(fā)展我國計算機事業(yè)的意見　胡世華
47　對科學和科學研究的一些看法　胡世華
48　計算機的分“代”和我國的“對策”問題　胡世華
49　對哲學工作的意見　胡世華
50　數(shù)理邏輯　胡世華
51　數(shù)學基礎　胡世華
52　信息時代的數(shù)學　胡世華
53　關于數(shù)學哲學的研究 張　憑　張祖貴　孫小禮
54　遞歸結(jié)構(gòu)　胡世華
55　遞歸結(jié)構(gòu)理論的形式系統(tǒng)和語句的可判定性　胡世華
56　數(shù)學問題的可解決性　胡世華
57　數(shù)學與計算機科學　胡世華
58　含任意m-值命題演算系統(tǒng)的統(tǒng)一結(jié)構(gòu)　胡世華　王駒　程慶文
后記