胡世华文集PDF电子书下载

1 论人造的语言＆胡世华 1

2 命题演算之所指＆胡世华 21

3 再现算术新系统及其逻辑常词——再现算术RA系统的构造＆胡世华 43

4 理论对象＆胡世华 53

5 m-VALUED SUB-SYSTEM OF（m＋n）-VALUED PROPOSITIONAL CALCULUS＆TZU-HUA HOO 60

6 一个？0值命题演算的构造＆胡世华 65

7 四值命题演算与四色问题＆胡世华 陈强业 80

8 ？0值命题演算的有穷值的具有函数完全性的子系统＆胡世华 83

9 一种递归式的原始递归性＆胡世华 96

10 数理逻辑是应该重视的一门科学＆胡世华 104

11 电子计算机及一些有关的理论问题＆胡世华 107

12 数理逻辑的性质、特点、作用及其成果的哲学意义＆胡世华 吴光磊 122

13 控制论中的哲学问题＆胡世华 123

14 数理逻辑的基本特征与科学意义＆胡世华 124

15 关于古典演绎逻辑的几个问题＆胡世华 154

16 一般递归函数的范式＆胡世华 陆钟万 167

17 高速度发展我国数理逻辑事业——在中国数学会第二次全国代表大会上的发言＆胡世华 180

18 关于开展控制论问题研究的意见＆胡世华 193

19 讯息加工和计算机的数学理论＆胡世华 196

20 关于计算机理论和讯息加工机器的研究的一些意见＆胡世华 198

21 略论数理逻辑的发生、发展和现状＆胡世华 204

22 递归算法论＆胡世华 213

23 核函数与递归函数的范式＆胡世华 218

24 电子计算机＆胡世华 220

25 递归算法＆胡世华 223

26 核函数＆胡世华 陆钟万 244

27 递归函数的范式＆胡世华 253

28 加法和乘法＆胡世华 黄祖良 259

29 对于数理逻辑和计算技术的一些看法（代序）＆胡世华 266

30 多种类递归算法＆胡世华 271

31 古典谓词演算＆胡世华 283

32 控制论的发展＆胡世华 324

33 关于原始递归性＆胡世华 杨东屏 332

34 如何描述程序语言＆胡世华 343

35 作为现代逻辑学的数理逻辑——在逻辑学讨论会上的讲话＆胡世华 368

36 关于我国计算机事业的发展问题——1979年计算机学会年会上的书面发言＆胡世华 373

37 质和量的对立统一与数学＆胡世华 376

38 数学、数学基础理论的发展与人和计算机的分工协同问题＆胡世华 384

39 自然辩证法的研究范围和社会责任＆胡世华 390

40 胡世华同志三月十五日在业务工作会议上的发言 391

41 数理逻辑基础＆胡世华 393

《数理逻辑基础》出版说明 395

绪论章 396

第一章 演绎逻辑的基本规则 420

第二章 逻辑演算的系统特征 487

第三章 数学底逻辑 541

第四章 重言式 621

第五章 一致性与完全性 638

42 计算机对数学的影响＆胡世华 660

43 计算所的调整问题＆胡世华 665

44 数理哲学中的形式主义和柏拉图主义＆胡世华 670

45 关于计算所体制调整的意见＆胡世华 678

46 关于发展我国计算机事业的意见＆胡世华 685

47 对科学和科学研究的一些看法＆胡世华 687

48 计算机的分“代”和我国的“对策”问题＆胡世华 690

49 对哲学工作的意见＆胡世华 694

50 数理逻辑＆胡世华 697

51 数学基础＆胡世华 704

52 信息时代的数学＆胡世华 709

53 关于数学哲学的研究＆张凭 张祖贵 孙小礼 717

54 递归结构＆胡世华 721

55 递归结构理论的形式系统和语句的可判定性＆胡世华 741

56 数学问题的可解决性＆胡世华 756

57 数学与计算机科学＆胡世华 766

58 含任意m-值命题演算系统的统一结构＆胡世华 王驹 程庆文 767

后记 776