中国数理逻辑八十年

自20世纪20年代起,数理逻辑传入了中国,并沿着自己的道路在中国发展。在中国,最先介绍数理逻辑的是汪奠基,而后影响较大的是金岳霖。新中国成立后,我们自己培养的数理逻辑研究队伍在不断地发展壮大。数理逻辑分别有逻辑演算、递归论、模型论、公理集合论、证明论。我国数理逻辑工作者近年来在这几方面都取得了相当大的进展。