欢迎来到相识电子书!

标签:数学史

  • 陈省身与几何学的发展

    作者:丘成桐,杨乐,季理真

    《陈省身与几何学的发展》是《数学与人文》丛书为纪念陈省身先生诞辰100周年而出版的专辑。书中第一部分选登了历史上伟大的几何学家欧几里得、高斯、黎曼和陈省身的代表作,以显示几何学两千多年来基本思想的发展;并介绍了索菲斯·李、嘉当、布拉施克等的生平和工作,陈省身在继承了这些前辈们的成就基础上,开创了整体微分几何的新时代。第二部分主要介绍陈省身的合作者,以及他们的合作成果在如何影响现代几何学乃至代数学等领域的发展。第三和第四部分主要由陈省身的朋友、同事和学生们所写:第三部分中的纪念文章,反映了陈先生扎在中国传统文化中深深的根,以及他致力于推进中国数学事业的发展,关心、帮助年轻人的伟大人格;该部分还介绍了国际数学联盟首次颁发陈省身奖章。第四部分适合数学家阅读,包括陈省身数学工作的介绍,纪念陈省身的自述文章和数学研究;最后一篇是对陈省身的数学工作和数学生涯均有较大影响的德国数学家外尔的传记。
  • 数学圈1

    作者:H.W.伊弗斯

    本书包括从懂数学的乌鸦到第一个女数学家、从阿育王的石柱到费马的笔记、从小人物到拿破仑、从集邮上的阿贝尔到课堂上的维纳等章节。
  • Journey through Genius

    作者:William Dunham

    Praise for William Dunhams Journey Through Genius The Great Theorems of Mathematics "Dunham deftly guides the reader through the verbal and logical intricacies of major mathematical questions and proofs, conveying a splendid sense of how the greatest mathematicians from ancient to modern times presented their arguments." —Ivars Peterson Author, The Mathematical Tourist Mathematics and Physics Editor, Science News "It is mathematics presented as a series of works of art; a fascinating lingering over individual examples of ingenuity and insight. It is mathematics by lightning flash." —Isaac Asimov "It is a captivating collection of essays of major mathematical achievements brought to life by the personal and historical anecdotes which the author has skillfully woven into the text. This is a book which should find its place on the bookshelf of anyone interested in science and the scientists who create it." —R. L. Graham, AT&T Bell Laboratories "Come on a time-machine tour through 2,300 years in which Dunham drops in on some of the greatest mathematicians in history. Almost as if we chat over tea and crumpets, we get to know them and their ideas—ideas that ring with eternity and that offer glimpses into the often veiled beauty of mathematics and logic. And all the while we marvel, hoping that the tour will not stop." —Jearl Walker, Physics Department, Cleveland State University Author of The Flying Circus of Physics
  • 黎曼博士的零点

    作者:卡尔·萨巴

    本书匠心独运地将数学的最高峰:黎曼的素数假设——一个比1大而不能被1和它本身以外的其他任何整数除尽的整数,展现给普通的读者,并对那些在求解难题的跑道上日夜兼程的数学家作出了生动的描绘。本书对数作了精彩的解释,对我们数系深处的秘密进行了深刻的思考。   1859年,黎曼,一个腼腆的德国数学家,用八页纸回答了长期困扰数学家的一个难题。尽管黎曼不能提供一个证明,但他声称他的解答“很可能”是正确的。   在以后的150年里,世界各国的数学家们孜孜以求,想获得黎曼假设的证明。他们对此的兴趣是如此之大,以至于在2001年时,一个美国基金会为第一个证明黎曼假设的人设立了一百万美元的奖金。   黎曼假设讲的是素数——一个比1大而不能被1和它本身以外的其他任何整数除尽的整数。此假设试图解释素数在其他数中是如何分布的。数学家们用敬畏的语气谈论这个令人极度兴奋的问题,认为它甚至比马大定理更难,后者6年前终于为安德鲁·怀尔斯所证明。   萨巴的书匠心独运,它将数学的最高峰展现给普通的读者,并对那些在求解难题的跑道上日夜兼程的数学家作出了生动的描绘。《黎曼博士的零点》对数作了精彩的解释,对我们数系深处的秘密进行了深刻的思考。
  • 数学圈3

    作者:H.W.伊弗斯

    《数学圈3》是《数学圈丛书》之一。《数学圈3》分告别数学圈和回归数学圈两大部分。其中告别数学圈主要介绍了从惟一的学位论文到卡洛尔的壁炉,从柏拉图到阿丁,从作者的笑话到一道难题以及从叔本华谈数学到标点问题;而回归数学圈主要介绍了从牛顿的床到通用语言,从概率到蟋蟀,从不可能的几何到归纳问题以及从光学错觉到因子分解。通过这些内容,可以改变人们对数学和数学家的看法,把数学融入大众文化,回到人们的生活。
  • 现代数学

    作者:迈克尔·J.布拉德利

    《现代数学(1900-1950年)》记叙的十位不平凡的人物,有着不同的国籍,各异的人生经历,迥然的性格特质,但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题始,他们首先聚焦于刚刚创立的集合论,进而扩展到整个数学领域的重新审视,他们中的大部分参与并成就了哥廷根的辉煌。数学在动荡的战争岁月没有停下脚步,相反,最初的计算机研发与军用密切相关,数学没有国界,但数学家有国界,冯·诺依曼、图灵、霍珀和维纳都在战时发挥了重要的作用。三位女数学家中竞有两位叫格蕾斯,她们的学识和成就更来之不易,因而她们的智慧和奋斗精神令人赞叹。
  • 数学(第三卷)

    作者:[俄] A. D. 亚历山大洛夫

    《数学:它的内容方法和意义(第3卷)》是前苏联著名数学价位普及数学知识撰写的一部名著,用极其通俗的语言介绍了现代数学各个分支的内容,历史发展及其在自然科学和工程技术中的应用。本书内容精炼,由浅入深,只要具备高中数学知识就可阅读。《数学:它的内容方法和意义(第3卷)》共20章,分三卷出版。本卷是第三卷,内容包括实变函数论、线性代数、抽象空间、拓扑学、泛函分析、群及其他代数系统。 本书可供高等院校理工科师生、中学教师和学生、工程技术人员和数学爱好者阅读。
  • 阿基米德的报复

    作者:(美)保罗.霍夫曼

    前言 本书主要概述了数学所涉及的领域和范畴。我并不认为这本书包罗万象,然而它选择的主题很离奇,但它也只能如此。数学是世间每所大学都从事研究的一门学科,它至少像生物学一样有广泛的领域,在生物界中,某个研究人员正努力研究艾滋病毒,而另一个研究人员则在研究袋熊的社会化问题。…… 第一篇 数 字 第一章 邪恶的数和友好的数 毕达哥拉斯及其好友认为,整数的完满性,即完全数是任何其所有除数之和(该除数本身外)等于该数本身的整数。第一个完全数是6。它可被1、2和3整除并且是1、2和3之和。第二个完全数是28。它的除数是1、2、4、7和14,这些数加起来为28。希腊人所知道的就是这些,尽管他们做过尝试,但没有发现奇数完全数。…… 第二章 阿基米德的报复 按照阿基米德的愿望,人们在他的墓碑上刻了一个圆柱体,柱体里面是一个球体——象征着他的骄傲的发现:球的体积是装下该球的最小的圆柱体体积的三分之二。…… 第三章 素数的滥用 然而在今天,这座宫殿里却出了问题。那最纯的论题——素数正在以国家安全的名义滥用自己。据报道我们政府所用的某些最好的密码是依靠素数创制的。在这些密码中,字母被转换成数字,其根据纯然是数学的:某些计算程序较易创制但极难破译。例如,计算机计算两个100位数的素数的积极其容易。但已知那个200位数的积去恢复那些素数除数却极其困难(当然,除非有人告诉你)。 …… 第四章 比尔密码之谜 密码学——编制和破译密码的科学——日益成为那些能够获得最新计算机技术的数学家所从事的量性学科。今天在军队和私人企业中所使用的密码与昨日的密码截然不同,总的来说是变得更为难以破译了。然而,尽管取得了这些进步,这种新型的数学密码在许多场合也不管用,而对一些古老的密码,最先进的破译技术仍然无法解开。…… 第二篇 形 状 第五章 制作复活节大彩蛋 自从雷施离开韦格勒维尔镇,10年过去了。当然,该镇依然存在,而这座独具匠心的纪念碑使韦格勒维尔镇出现在地图上(还被收载入女王伊丽莎白的加拿大旅游指南中)。该镇惟一的委屈是这个复活节彩蛋尚未被收入《吉尼斯世界纪录大全》之中。看来这是不公平的,加拿大艾伯塔省的另一个城镇卡尔加里镇就曾因用20,117个鸡蛋烹调出世界上最大的煎蛋饼而载入《吉尼斯世界纪录大全》。 …… 第六章 麦比乌斯分子 数学不仅可以在最宏大的规模上帮助进行形状设计,如3层半楼层高的复活节彩蛋,而且还可以在微小的范围内帮助设计。本章将叙述美国博尔德市科罗拉多大学的戴维·沃尔巴及其同事们如何在奇特的麦比乌斯带中合成分子的故事。…… 第七章 遗漏了的带一把手的三孔空心球形问题 150年来,许多数学家都曾研究肥皂膜的形状,而且霍夫曼和米克斯发现的许多曲面都是与这些形状有关的。如果把一铁丝圆环浸没在肥皂液中,然后取出,那么横跨在铁环上的肥皂膜形状是平圆盘状的。这种形状被认为是极小的曲面,因为在可能横跨铁环的所有曲面中,平圆盘形具有最小的面积。…… 第三篇 计算机 第八章 图灵的通用计算机 图灵计算机是一个非凡的概念。不过从其一系列性能的观点来看,它却是非常有限的。即使你对计算机的程序设计一无所知(或许整个主题会使你吃惊),但图灵计算机的如此有限性能,也会使你很快地理解它的“内部”工作情况,从而高兴地为它编写程序。然而,从计算的观点看,它是能够进行任何运算的,换句话说,数学家能够进行的任何运算,想象的最大功率计算机也能够进行运算。…… 第九章 威利·洛曼无辜地死去了吗? 算法的功能之一是其能用于一个问题的所有实例。例如加法算法可以算出任何两个整数的和。你虽然花费时间去详尽写出一种算法的全部细节,但你却得到了一种能够保证工作的方法。计算机的程序或是单一的算法或是系列的算法。…… 第十章 计算机——未来的象棋之王 国际象棋的数学可以证明全方位搜索的低效性。在人类国际象棋大师之间的对弈,典型的是对弈了84着棋(1着棋即指定的一方走一步棋)。由于每个棋位平均有38步法定棋步,因此穷举搜索法必须考虑3884个可能的棋位。那是一个庞大的数字:3884大于10132,即1的后面有132个0。宇宙已经存在了大约1018秒,因此,即使让计算机能够工作像宇宙年龄那么长的时间,每秒钟也要分析10114个国标象棋棋位,才能看清博弈的结局。…… 第十一章 男孩和他的计算机 连接机是新近出现的一种最引人注目的计算机,带有一个并行处理机,它正开始改变计算机科学。传统计算机,即使是功率大的,也只靠单独的处理机进行计算。连接机则根本不同;它利用65,536个小处理机,或叫做微型电脑的总体功率,一起工作,解决一个问题。…… 第四篇 “一人一票” 第十二章 数学中的民主 对策论是对冲突进行数学分析,它存在于政治、商业、军事或各项事务之中。对策论诞生于1927年,由数学全能行家约翰·冯纽尔曼创立。冯纽尔曼认识到经济与政治中的某些决策条件在数学上与某些策略对策等价。所以从分析这些对策中所学到的东西可以直接应用于现实生活中的决策上。…… 第十三章 国会议员的数学游戏 为什么按比例分配是这样一个问题呢?美国宪法第一条第二款似乎提供了一个直接的答案:每个州派往众议院的代表人数应与本州人口成比例。问题是,虽然一个国会议员的忠心可分,而他的躯体却不可分;人就像便士或电荷或亚原子自旋状况一样,是量子化的。……
  • 数学(第一卷)

    作者:[俄] A. D. 亚历山大洛夫 等

    《数学:它的内容,方法和意义》是前苏联著名数学家为普及数学知识撰写的一部名著。书中用极其通俗的语言介绍了现代数学各个分支的内容、历史发展及其在自然科学和工程技术中的应用。内容精练,由浅入深,只要具备高中数学知识就可阅读。全书共20章,分三卷出版,每一章介绍数学的一个分支。第一卷分数学概观、数学分析、解析几何和代数这四部分,内容包括数学的特点,算术,几何,算术和几何,初等数学时代,变量的数学,现代数学等。
  • 天空中的圆周率

    作者:(美)约翰.巴罗

    如果没有镜子,人向前能看到自己的后脑勺吗?“当然不能”——但是,爱因斯坦说“能”——如果你跑得够快。无独有偶,当代宇宙学权威马丁*里斯也会说“ 能”,他的原话是“你照向宇宙任何方向的一束光总有一天会打在你的后脑勺上”(《六个数》,上海科技)。因此,这幅画的宇宙解释就是,如果你活的时间够长,比如说,几百亿年,那么,你将会看到自己的后脑勺。当然,前提是地球还存在,而且老眼昏花的你至少还记得自己几百亿年前的后脑勺也曾青丝满头。
  • 古今数学思想(第3册)

    作者:莫里斯·克莱因

    《古今数学思想》是数学史的经典名著,初版以来其影响力一直长盛不衰。著作可谓博大精深,洋洋百万余言,阐述了从古代直到20世纪头几十年中的数学创造和发展,特别着重于主流数学的工作。大量第一手资料的旁征博引,非常全面地提及各个历史时期的数学家特别是著名数学家的贡献,是《古今数学思想》的一大特色。《古今数学思想》所关心的还有:对数学本身的看法,不同时期中这种看法的改变,以及数学家对于他们自己成就的理解。本书体现了作者的深厚功力。
  • 数学史概论

    作者:李文林

    《数学史概论(第3版)》以重大数学思想的发展为主线,阐述了从远古到现代数学的历史。书中对古代希腊和东方数学有精炼的介绍和恰当的分析;同时本着“厚今薄古”的原则,充分论述了文艺复兴以来近现代数学的演进与变革,尤其是20世纪数学的概观,内容新颖,第三版更增添了“未来的挑战”等反映数学最新进展的章节。《数学史概论(第3版)》中西合炉,将中国数学放在世界数学的背景中述说,更具客观性与启发性。 第三版在内容上进行了必要的修订与更新,全书重点突出,脉络分明,并注意引用生动的史实和丰富的图片,因而适合于综合大学、师范院校各专业的学生作为数学史课程的教材以及研究生选修数学史的参考用书,同时也可供广大数学工作者和一般科学爱好者阅读参考。
  • Mathematics and Its History

    作者:[美]John Stillwell

    From the reviews of the third edition: "The author’s goal for Mathematics and its History is to provide a “bird’s-eye view of undergraduate mathematics.” (p. vii) In that regard it succeeds admirably. ... Mathematics and its History is a joy to read. The writing is clear, concise and inviting. The style is very different from a traditional text. ... The author has done a wonderful job of tying together the dominant themes of undergraduate mathematics. ... While Stillwell does a wonderful job of tying together seemingly unrelated areas of mathematics, it is possible to read each chapter independently. I would recommend this fine book for anyone who has an interest in the history of mathematics. For those who teach mathematics, it provides lots of information which could easily be used to enrich an opening lecture in most any undergraduate course. It would be an ideal gift for a department’s outstanding major or for the math club president. Pick it up at your peril — it is hard to put down!" (Richard Wilders, MAA Reviews) From the reviews of the second edition: "This book covers many interesting topics not usually covered in a present day undergraduate course, as well as certain basic topics such as the development of the calculus and the solution of polynomial equations. The fact that the topics are introduced in their historical contexts will enable students to better appreciate and understand the mathematical ideas involved...If one constructs a list of topics central to a history course, then they would closely resemble those chosen here." (David Parrott, Australian Mathematical Society) "The book...is presented in a lively style without unnecessary detail. It is very stimulating and will be appreciated not only by students. Much attention is paid to problems and to the development of mathematics before the end of the nineteenth century... This book brings to the non-specialist interested in mathematics many interesting results. It can be recommended for seminars and will be enjoyed by the broad mathematical community." (European Mathematical Society) "Since Stillwell treats many topics, most mathematicians will learn a lot from this book as well as they will find pleasant and rather clear expositions of custom materials. The book is accessible to students that have already experienced calculus, algebra and geometry and will give them a good account of how the different branches of mathematics interact." (Denis Bonheure, Bulletin of the Belgian Society)
  • 数学史概论

    作者:霍华德。伊夫斯

    《数学史概论(第6版)》介绍了:利用出第六版的机会,我对原书中许多章节作了补充和修改。这包括:拓宽历史背景,新增或扩展了某些章节,另外,还加进了许多新的例证资料,并且,对女数学家给予了相当的注意。在本书的十五章中几乎都得到了拓宽和充实,改进之处很多,在这里不能一一列举。其中,作了重大改进的地方有:第5章对欧几里得《原本》内容的讨论;第7章对中国数学的整个处理;第9章,对于对数的处理;第12章关于阿涅泽和杜查泰莱特的整个新的一节;第13章讲到阿甘特和韦塞尔对复数的几何表示法的贡献;第13章为热曼和萨默魏里增添的新的一节:第13章为波尔查诺增添的新的一节;第13章关于19世纪几何学的解放的资料有显著扩展;第14章关于微分几何的一节完全重写并扩展了;第14章补充了关于奇斯霍姆和斯考特的资料;在本书的最后增添的新的一节,预测数学的前景。 本书的一个重大补充是Jamie Eves写的文明背景。这是为了满足本书的那些早期的使用者的要求而写的,他们认为:把不同时代和时期的数学史放到更加深厚的文明背景上去考察,将有助于学生的理解。聪明的学生在着手探讨某些章节的历史资料之前,应该仔细地阅读其文明背景。 本书增添了10张新的图片资料和16张数学家的照片。最后,参考文献也大为扩展了。
  • 古今数学思想(第一册)

    作者:莫里斯•克莱因

    《古今数学思想》是数学史的经典名著,初版以来其影响力一直长盛不衰。著作可谓博大精深,洋洋百万余言,阐述了从古代直到20世纪头几十年中的数学创造和发展,特别着重于主流数学的工作。大量第一手资料的旁征博引,非常全面地提及各个历史时期的数学家特别是著名数学家的贡献,是《古今数学思想》的一大特色。《古今数学思想》所关心的还有:对数学本身的看法,不同时期中这种看法的改变,以及数学家对于他们自己成就的理解。本书体现了作者的深厚功力。
  • 三角之美

    作者:马奥尔

    《三角之美:边边角角的趣事》由古埃及应用测量的发端展开,将读者首先带到六个三角函数中。书中的篇章宛如一个个引人入胜的小故事,将历史、趣闻、应用和理论融入到了迷人的故事情节当中。全书共15章,涵盖了三角学的精华部分,此外还包含6个翔实的小传记,为读者感受三角之美提供了难得一见的珍贵资料。
  • 欧几里得在中国

    作者:[荷] 安国风

    在科学翻译史上,汉译《几何原本》(1607年)是一项杰出的成就。利玛窦与徐光启筚路蓝缕,以古文风韵,译拉丁原典,风格传神,令人心悦诚服,梁启超曾赞其为“字字金珠美玉”。《几何原本》的翻译也是历史上欧洲与中国首次文化冲撞的一个侧面,故其价值不仅限于数学史或科学史,在近代中西文化交流史上亦具重要价值。 安国风博士的这本《欧几里得在中国》,着力把握晚明社会学术思潮变化的大背景,突出《几何原本》作为“异质”文化(如抽象性、演绎性和公理化)的特点,详细探讨了欧氏几何向中国传播的前因后果;同时,通过对古典文献的梳理引证,对相关人物、著作的评述与分析,揭示了明清之际中国传统数学思想的嬗变历程。本书原著被列入“莱顿汉学”(Sinica Leidensia)丛书。
  • 数理逻辑发展史:从莱布尼茨到哥德尔

    作者:张家龙著

    第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的统一 三 逻辑方法和历史方法的统一 四 严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派的命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布尼茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一 理性演算 二 普遍语言 第三节 莱布尼茨具体构造的演算 第七章 逻辑代数 第一节 逻辑代数建立前的逻辑发展 第二节 布尔的逻辑代数 一 逻辑代数的基本原理及类的解释 二 布尔对古典形式逻辑的处理 三 逻辑函项及其运算 四 逻辑代数的命题解释和概率解释 第三节 逻辑代数的发展 一 耶芳斯和文恩 二 皮尔士 三 施罗德 四 麦柯尔 第八章 关系逻辑 第一节 德摩根的关系逻辑 一 德摩根对古典形式逻辑的改造 二 关系逻辑的创建 第二节 皮尔士对关系逻辑的发展 一 皮尔士关系逻辑的一些基本概念 二 基本运算 三 关系逻辑的主要原理 四 量词理论 第三编 数理逻辑奠基时期 第九章 逻辑演算的建立和发展 第一节 弗雷格的逻辑演算 一 逻辑演算建立的历史背景 二 逻辑演算系统 三 自然数的定义 四 涵义和所指 第二节 皮亚诺的符号体系 一 数理逻辑 二 数学基础 第三节 罗素的逻辑演算 一 命题演算和谓词演算 二 关系逻辑 三 摹状词理论 第四节 逻辑演算的发展 一 命题演算和谓词演算的不同系统 二 逻辑演算的元理论 第五节 非经典逻辑简述 第十章 从素扑集合论到公理集合论 第一节 无穷集合的怪论 第二节 康托尔的集合论 一 康托尔的指导思想——实无穷的理论 二 可数集和不可数集 三 超穷基数和超穷序数 四 连续统假设 第三节 集合论悖论的出现——第三次数学危机 一 布拉里-福蒂悖论 二 康托尔悖论 三 罗素悖论 四 关系悖论 五 与集合论悖论不同的一些语义悖论 第四节 公理集合论的建立 一 策梅罗—弗兰克尔的公理集合论 二 冯·诺意曼的公理集合论 三 贝尔纳斯对冯·诺意曼系统的改进 第十一章 逻辑主义论题和逻辑类型论 第一节 数学概念和数学定理的推导 第二节 逻辑类型论 第三节 蒯因的新系统NF 第四节 逻辑主义的历史地位 第十二章 直觉主义的数学基础和逻辑 第一节 直觉主义的数学哲学 第二节 直觉主义的数学基础 一 潜无穷论是直觉主义数学的出发点 二 在数学中不能普遍使用排中律 三 数学对象的可构造性 第三节 直觉主义逻辑 一 直觉主义的命题演算 二 直觉主义的一阶谓词演算 三 直觉主义逻辑与经典逻辑的关系 第十三章 形式公理学和证明论 第一节 从实质公理学到形式公理学 一 第一阶段——实质公理学:《几何原本》 二 第二阶段——从实质公理学向形式公理学的过渡(概括公理学):非欧几何和射影几何 三 第三阶段——形式公理学:《几何基础》 第二节 证明论的建立 一 希尔伯特的元数学——证明论纲领 二 希尔伯特纲领的历史意义和哲学意义 第四编 数理逻辑发展初期 第十四章 哥德尔的伟大贡献 第一节 哥德尔完全性定理 第二节 模型论的两条基本定理——累文汉定理和紧致性定理 第三节 哥德尔不完全性定理 一 自然数算术的形式系统 二 哥德尔不完全性定理的直观说明 三 哥德尔配数法 四 形式算术系统元数学的算术化 五 原始递归函数和原始递归谓词 六 原始递归函数在系统中的数字可表示性 七 不可判定命题的形式结构 八 不可判定命题与说谎者悖论的关系 九 哥德尔不完全性定理的证明 十 哥德尔不完全性定理的哲学意义 第四节 选择公理和广义连续假设的一致性 第十五章 哥德尔不完全性定理带来的硕果 第一节 塔尔斯基论形式语言中的真值概念 一 在普遍的日常语言中不能定义真值概念 二 类演算的形式语言和元语言 三 在类演算的元语言中“真语句”的定义 四 关于“真语句”定义问题的一般结论 五 塔尔斯基定理及其与哥德尔不完全性定理的关系 六 塔尔斯基的成果的历史意义 第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义 一 阿克曼函数 二 一般递归函数 第三节 λ转换演算和丘吉论题 一 λ转换演算 二 丘吉论题 三 丘吉不可判定性定理 第四节 图灵机和可机算函数 一 图灵机的基本概念 二 可机算函数与λ可定义函数的等价性 三 图灵论题 四 一阶谓词演算的判定问题不可解 五 图灵机理论的历史意义 第五节 波斯特的符号处理系统 一 波斯特机 二 波斯特的符号处理系统 第六节 塔尔斯基证明不可判定性的一般方法 一 若干基本概念 二 一些重要定理 三 不可判定性成果的哲学意义 人名译名对照表 主要参考文献
  • 微积分概念发展史

    作者:卡尔·B·波耶

    微积分和数学分析是人类智力的伟大成就之一,其地位介于自然和人文科学之间,成为高等教育成果硕然的中介。不幸的是,有时候教师采用机械的方法教授微积分,不能展现其作为生动智力斗争的成果所具有的魅力。这种延续了2 500多年的智力斗争的历史,深深扎根于人类奋斗的许多方面,并且,只要人们像了解大自然那样去努力认识自己,它就还会继续发展下去。教师、学生和学者若想真正理解数学的力量和表现,就必须从历史的角度来理解这一领域发展至今的现状,以广阔的视野看待数学。 本书以时间为顺序,通过对古希腊乃至更久远时期、中世纪和1 7世纪关于微积分学构想的描述,剖析了一些阻碍微积学发展进程的哲学与宗教观点,叙述了积分和微分两方面的发展,以及牛顿和莱布尼茨的伟大贡献,和我们今天所知道的最严格的牛顿一莱布尼茨公式。
  • 数学那些事儿

    作者:William Dunham

    本书是一本短文集,每篇短文论述一个特定的数学主题,介绍了数学世界的伟大定理、难题、争论以及诸多不解之谜。在清晰和机智的描述中,作者带领你跨越五千年的历史,探索不同的主题,从最早的算术文献到近代的无穷级数难题以及无理数的怪异特征。书中还介绍了许多数学大师的生活轶事,例如浮夸不逊的伯特兰•罗素、聪明好斗的伯努利兄弟以及天才索菲亚•柯瓦列夫斯卡娅等,数学家栩栩如生的形象跃然于纸上。 本书被美国出版商协会评为1994年的最佳数学书,适合拥有代数和几何基础知识的所有读者阅读。品味历史,品味人物,品味科学之美,必将给你带来完美的体验。