胡世華文集

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