塔尔斯基模型论学派影响现代数学的发展方向
在上世纪50至60年代,塔尔斯基在美国加州Berkeley分校主持的模型论讨论班的学生们成为模型论发展的先锋(学派)。
The developmentof model theory can be traced to Alfred Tarski, a member of the Lwów–Warsawschool during the interbellum. Tarski's work included logical consequence,deductive systems, the algebra of logic, the theory of definability, and thesemantic definition of truth, among other topics. His semantic methodsculminated(达到极点) in the model theory he anda number of his Berkeley students developed in the 1950s and 60s. These modernconcepts of model theory influenced Hilbert's program and modern mathematics.
注意1:无穷小微积分教材的作者J.Keisler教授是塔尔斯基逻辑讨论班(Seminar)的积极参与者,也是知名的模型论通用教材的作者、塔尔斯基学派的高徒(传承人)之一。
注意2:模型论是数理逻辑专业的理论必学课。
袁萌 2月8日