胡世华文集
点此进入淘宝搜索页搜索分類: 图书,计算机/网络,计算机理论,
作者： 中国科学院软件所胡世华 等著
出 版 社： 科学出版社
出版时间： 2008-5-1字数： 1149000版次： 1页数： 775印刷时间： 2008/05/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787030213914包装： 平装内容简介
本集内容主要有三个领域：逻辑演算、递归函数论、科学哲学，共收入58篇文章，1943年发表的“论人造的语言”仔细地介绍并解释了一阶谓词演算。《数理逻辑基础》着重介绍了直观的自然揄的证明格式，这次出版的是胡世华1957年讲稿的原稿，只对其中明显的文字上的不适当之处作了修改，文集编进了多篇多值逻辑、递归函数论的文章，还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章，有几篇文章是未曾发表过的，如《计算机的分“代”和我国的“对策”问题》等。
目录
序 杨东屏
怀念胡世华先生唐稚松
纪念胡世华先生许孔时
我所知的胡世华先生董韫美
纪念胡世华先生周巢尘
纪念胡世华老师王世强
半世纪前的往事陶仁骥
1论人造的语言胡世华
2命题演算之所指胡世华
3再现算术新系统及其逻辑常词——再现算术RA系统的构造胡世华
4理论对象胡世华
5m-VALUED SUB-SYSTEM OF（m＋n）-VALUED PROPOSITIONAL CALCULUSTZU-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论人造的语言（胡世华）
同一对象以不同的观点来研究它，即产生不同的学问。语言，自然也不例外，比如我们着重着眼于一个语言怎样地在历史上演变，怎样受当时社会的情形，如政治经济以至风尚等的影响，取这种观点来研究语言可以说是社会学的观点。又如一个语言中的字句与人的知觉（Wahrnehmung;perception）以至某些精神作用有密切关系，某些字句可以引起人的某种想像，某种联想，以至某种观念，作这一方面的研究，我们可以说是采用了心理学的观点。其他如所谓字义学（Bedeutungslehre;semasiology）以至我国的小学，训话都可以说是采取了某种观点后所作的研究，于这种研究中产生的学问，以下将谈人造的语言，目的是在解释一种对于语言的研究，这一种的研究是站在一种固定的观点上的对语言的研究。当然，这只是所有可以采取的种种研究语言的观点之一，可是是一种极其重要——自某种意义上讲——的观点。根据了这一种观点来研究语言，自然而然的使人要求来创制所谓人造的语言（Kuenstlieche Sprach;artificial language），与这种人造的语言相对的，即是我们平常的语言，如中文英文德文法文等；由于这些平常的语言是像在土地自然生长出来的草木花草那样，在一个地域中，在民风习尚中自然生长出来的缘故，我们即可以称之谓自然的语言（natueliche Sprach;natural language）。——不过有一点似乎应该一提，就是这里所指的人造语言乃是根据了某种一定的观点研究语言所产生的人造语言。……
