Jacobian Elliptic Function Tables
Jacobian Elliptic Function Tables
复制标题
雅可比椭圆函数表
DOI：
10.2307/3610805
复制
发表时间：
1952
期刊：
影响因子：
--
通讯作者：
C. Jones
中科院分区：
文献类型：
--
作者：
C. Jones
本书的最后一章主要是关于Post的正规语言理论，Post关于任何规范语言的正规扩展存在性的定理（引用时没有证明）是在第9章的基础上提出的，它证明了Church的定理，即一阶谓词演算的决策问题是不可递归可解的，并且还展示了哥德尔定理，即没有适合数学的一致语言能够证明算术中的每一个真命题。《数学逻辑原理》旨在作为教学文本，每个部分都以一组分级练习结束。它的风格充满活力和刺激，插图往往是出人意料的。关于选择公理，我们了解到一些政治观察家认为。杜鲁门作为一个“在理解政治问题方面”的测试案例。如果杜鲁门能理解一个给定的政治问题，那么任何人都可以。选择公理意味着我们总能找到一个测试用例”。罗森布鲁姆教授不遗余力地使他的书尽可能可靠和及时。参考书目附录本身就是一个令人印象深刻的证据，表明他熟悉广泛的近期发现，但除了阅读之外，作者还在美国广泛旅行，并访问了斯堪的纳维亚和英国，以使自己了解即将出版的作品，并通过与该领域的主要工作者的个人讨论来澄清自己的想法。我们热烈祝贺罗森布鲁姆教授和多佛出版社出版了一本真诚、及时和有教育意义的书。r·l·古德斯坦。
The last chapter of the book is chiefly concerned with Post's theory of normal languages, and Post's theorem on the existence of a normal extension of any canonical language (quoted without proof) is made the basis of 9, proof of Church's theorem that the decision problem for the first order predicate calculus is not recursively solvable, and serves also to exhibit Godel's theorem that no consistent language adequate for mathematics is capable of proving every true statement in Arithmetic. The Elements of 1Tfathematical Logic is intended to serve as a teaching text, and each section concludes with a set of graded exercises. The style is vigorous and stimulating, and the illustrations often as apt as they are unexpected. Regarding the axiom of choice, we learn that some political observers regard Ilr. Truman as a test case " when i t comes to understanding political questions . . if Truman can understand a given political question, then anyone can. The axiom of choice implies that we can always find a test caSe ". Professor Rosenbloom has spared no pains to make his book as reliable and up-to-the-minute as possible. The bibliographical appendix is itself impressive evidence of familiarity with an extensive range of recent discoveries, but in addition to his reading the author travelled widely in the Cnited Statesand visited Scandinavia and England as well-to keep himself informed of forthcoming works and to clarify his oun ideas by personal discussions with the leading workers in the field. Professor Rosenbloom and the Dover Press are both to be warmly congratulated on a sincere, timely and instructive book. R. L. GOODSTEIN.