元数学对计算机科学的启示.pdfVIP

元数学对计算机科学的启示 戴青云 唐立中 （东南大学计算机系，南京 !%89 ） ： :;7/)4 =! %?=/.(($-(7$-+ 摘 要 文章提出了元数学对计算机科学的几点启示，这几个方面分别是传统程序设计的概念、机制、要素，数据库技术 中的数据模型和函数依赖，面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础，另一方面说明了在 应用方面是如何体现这些理论基础的，并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻 找突破的思想。 关键词 函数 递归 原始递归函数 原始递归模式 原始递归描述 形式系统 文章编号 （ ） 文献标识码 中图分类号 %!;@##%; !# !;8A;! B C2D%$#! !# $#%#’()*+ (* (# ,*-./(#0 12)#+2# *3 4#(’54’(#-’()26 7’) 8)+9:/+ !’+9 ;)*+9 （ ， ） EFG/0,7F+, (H (7GI,F0 J-)F+-F (H J(I,.F/3, K+)’F03),= L/+M)+N !%89 =6(0’2( ： C.)3 G/GF0 GI, H(0O/0* 3(7F 0F’F4/,)(+ (H 7F,/ ;7/,.F7/,)-3 ,( ,.F -(7GI,F0 3-)F+-F /3 ,.F H(44(O)+N ， ， ， /3GF-,3 ,.F -(+-FG,3 7F-./+)373 /+* H/-,(03 (H ,0/*),)(+/4 G0(N0/77)+N */,/ 7(*F4 /+* HI+-,)(+ *FGF+*F+-= )+ ,.F ， */,/P/3F ,F-.+(4(N= /+* /+/4=QF3 /+* *F3)N+ (H (PMF-, ;(0)F+,F* 7F,.(*$R)03, ,.F /I,.(03 /+/4=QF ,.F ,.F(0F,)- P/3F3 ， ， G0(’)*F* P= 7F,/;7/,.F7/,)-3 ,.F+ )44I3,0/,F .(O ,.F3F P/3F3 )+ /GG4)F* /+* P0)+N ,.F )*F/ (H 4(()+N H(0 3(4I,)(+ ,( 3(7F -(7G4FS -(7GI,F0 G0(P4F73 H0(7 ,.F ,.F(0= (+ 7/,.F7/,)-3 HI+*/7F+,3 /+* 3=7P(4)- 4(N)-$ ： ， ， ， ， ， ?#:@*0A6 HI+-,)(+ 0F-I03)(+ (0)N)+/4 0F-I03)’F HI+-,)(+ (0)N)+/4 0F-I03)’F 7(*F4 (0)N)+/4 0F-I03)’F 3GF-)H)-/,)(+ H(07 3=3,F7 具体类型 （如 ， 等）时，此函数便可以返回一个具体的 % 引言 )+, -./0 1