迈克尔·哈迪;凯瑟琳·伍德戈尔德 极致简约。 （英语） Zbl 1196.11004号 数学。智力。 31，第4号，44-52（2009）. 作者研究了100多本英语教科书中欧几里德对素数无穷大的证明的不同版本。教科书中的一些说法几乎很有趣：欧几里德“引入阶乘”[C.M.格林斯泰德和J.L.斯内尔，概率导论。第二版，普罗维登斯，RI:美国数学学会（AMS）（1997；Zbl 0914.60004号)]并用它们来证明“关于素数的一些非常无用的事实”[L.霍格本，百万数学。伦敦：乔治·艾伦和昂文（1937；JFM 63.0840.08号)]. 然而，荒谬的说法是W.纳基维茨【素数理论的发展。施普林格数学专著。柏林：施普林格。（2000；Zbl 0942.11002号)]把欧几里德的证明称为“谬误的”，因为它只表明了三个素数的列表总是可以被放大的，这是不正确的：纳基维茨（Narkiewicz）说的是欧几里得证明他的引理中的一个缺口，即素数除以乘积必须除以其中一个因子。审核人：弗兰兹·莱默梅耶（贾格策尔） 引用于2文件 MSC公司： 11-03 数论史 11A41号机组 底漆 97A30型 数学教育史 关键词：质数 引文：Zbl 0914.60004号;Zbl 0942.11002号;表格63.0840.08 PDF格式BibTeX公司 XML格式引用 \textit{M.Hardy}和\textit{C.Woodgold}，数学。智力。31，第4号，44-52（2009；Zbl 1196.11004） 全文： 内政部 参考文献： [1] Aaboe，A.，《早期数学史》，美国数学协会，1964年，第52-53页·Zbl 0129.24703号 [2] 艾格纳（Aigner，M.）和齐格勒（Ziegler，G.），《书证》（Proofs from the Book），施普林格出版社，2004年，第17页·Zbl 1098.00001号 [3] Andrews，G.E.，《数字理论》，Courier Dover Publications出版社，1994年再版W.B.Saunders公司于1971年出版的一本书，第100-101页。 [4] 匿名书评“ART。三、 –Les OEuvres d'Euclide、en-Grec、en-Latin、et en-Français、d’apres un manuscrit très aucin quiétait restéinconu jusqu'ánosjours。”《都柏林评论》11（22）：330-3551841。 [5] Apostol，T.M.，《解析数论导论》，施普林格出版社，1976年，第17页·Zbl 0335.10001号 [6] Averbach，B.和Chein，O.，《通过娱乐数学解决问题》，Courier Dover Publications，2000年（重印W.H.Freeman于1980年出版的一本书），第106-107页·Zbl 0484.00022号 [7] 巴赫，E.和沙利特，J.，《算法数论》，麻省理工学院出版社，1996年，第20页·Zbl 0873.11070号 [8] 巴内特，I.A.，《关于数论的一些想法》，国家数学教师委员会，1961年，第7页。 [9] Beiler，A.H.，《数字理论中的娱乐：数学娱乐女王》，Courier Dover出版社，1966年，第212页·Zbl 0154.04001号 [10] Bennett，D.J.，《逻辑变得简单：如何知道语言何时欺骗你》，W.W.Norton and Company，2004年，第33-34页。 [11] 比格斯，N.I.，《离散数学》，牛津大学出版社，2002年，第52页。 [12] Birkhoff，G.和Mac Lane，S.，《代数》，切尔西，1999年，第119页。（这一错误没有出现在1941年、1953年、1965年和1977年出版的《现代代数概览》的四个早期版本中。） [13] Boolos，G.、Burgess，J.P.和Jeffrey，R.C.，《可计算性与逻辑》，剑桥大学出版社，2002年，第79页·Zbl 1014.03001号 [14] Brassard，G.和Bratley，P.，《算法基础》，普伦蒂斯·霍尔出版社，1996年，第14页·Zbl 0847.68046号 [15] David M.Bressoud，因子分解和素性测试，Springer，1989年，第3页。 [16] Bromwich，T.J.I.A.，《无穷级数理论导论》，美国数学学会，1991年（重印麦克米伦1908年和1926年出版的一本书；所引用的页面与第一版的内容相同），第395页。 [17] Brown，J.R.，《数学哲学：证据和图片世界导论》，Routledge，1999年，第1页·Zbl 1028.00005号 [18] Bruce，J.W.和Giblin，P.J.，《微型计算机和数学》，剑桥大学出版社，1990年，第146页·Zbl 0712.68001号 [19] Bunt，L.N.H.、Jones，P.S.和Beient，J.D.，《初等数学的历史根源》，Courier Dover出版社，1988年，第190页·兹比尔0715.01002 [20] 查哈尔，J.S.，《数论主题》，斯普林格出版社，1988年，第4页·Zbl 0711.11001号 [21] Childs，L.，《高等代数的具体介绍》，第三版，施普林格出版社，2008年，第63页·Zbl 0397.0002号 [22] Chinn，W.G.和Davis，P.J.，3.1416和All That，Birkhauser，1985年，第12页。 [23] Crandall，R.E.和Pomerance，C.B.，《素数：计算视角》，Springer，2005年，第6页·Zbl 1088.11001号 [24] 克罗斯利，J.N.，《数字的出现》，《世界科学》，1987年，第32-33页·Zbl 0724.01002号 [25] Crossley，J.N.，“轮回”，摘自Gabbay，D.M.、Goncharov，S.S.和Zakharyaschev，M.，《应用逻辑的数学问题I：二十一世纪的逻辑》，Springer，2006年，第238页·Zbl 1085.03002号 [26] Daepp，U.和Gorkin，P.，《阅读、写作和证明：更仔细地看数学》，Springer，2000年，第58-59页·Zbl 1042.00001号 [27] 马塞尔·达内西（Marcel Danesi），《拼图本能：人类生活中拼图的意义》，印第安纳大学出版社，2002年，第214页。 [28] Danzig，T.，《数字：科学的语言》，第3版，麦克米伦出版社，1946年，第48页。 [29] Davenport，H.，《高等算术：数论导论》，哈钦森大学图书馆，1952年，第17-18页。 [30] Derbyshire，J.，《Prime Obsession》，约瑟夫·亨利出版社，2003年，第34页·Zbl 1034.11002号 [31] de Smith，M.J.，《神秘数学》，Troubador Publishing Ltd，2006年，第79页。 [32] Dence，J.B.和Dence，T.P.，《数字理论的要素》，Elsevier，1999年，第19-20页·Zbl 0932.11001号 [33] 德夫林，K.J.，《数学：模式科学》，麦克米伦出版社，1996年，第19-20页。 [34] Devlin，K.J.，《数学基因：数学思维是如何演变的以及为什么数字像流言》，《基础图书》，2000年，第134-135页·Zbl 0955.03007号 [35] Devlin，K.J.，《千年问题：我们这个时代七大未解决的数学难题》，《基础图书》，2003年，第53页·兹比尔1042.00002 [36] Dickson，L.E.，《数字理论史》，华盛顿卡内基研究所，1923年，第413页。 [37] Dietzfelbinger，M.，《多项式时间中的素数测试：从随机算法到“素数在P中”》，Springer，2004年，第39页·Zbl 1058.11070号 [38] Driessen，A.和Suarez，A.，《数学不确定性、量子非定域性和上帝存在的问题》，Springer，1997年，第42页·Zbl 0885.00031号 [39] Dunham，W.，《数学世界：伟大证明、问题和人格的字母之旅》，John Wiley&Sons，1994年，第7-9页·Zbl 0829.00002 [40] Dunham，W.，Euler：《我们所有人的主人》，美国数学协会，1999年，第62页·Zbl 0951.01012号 [41] Epstein，R.L.和Carnielli，W.A.，《可计算性：可计算函数、逻辑和数学基础》，CRC出版社，1989年，第35页·兹伯利0685.03001 [42] Fisher，L.，《权衡灵魂：从辉煌到奇异的科学发现》，Arcade出版社，2004年，第29页和第201页。 [43] Fitzpatrick，R.，《欧几里德的希腊元素：第二卷：第5-9册》，卢鲁，2006年。 [44] 弗莱彻，S.，《数学桥梁：高等数学的直观之旅》，《世界科学》，2003年，第47页。 [45] Franzén，T.，《无穷无尽：无穷无尽的治疗》，A K Peters，Ltd.，2004年，第101页·邮编1094.03001 [46] Garrett，P.，《制造、破译代码：密码学导论》，Prentice-Hall，2001年，第191页。 [47] Gerstein，L.，《数学结构与证明导论》，Springer，1996年，第292页·Zbl 0847.00003号 [48] Goldrei，D.命题与谓词演算：论证模型，Springer，2005年，第80页·Zbl 1082.03001号 [49] Gonzáles，M.O.，《复杂分析：选定主题》，CRC出版社，1992年，第330页·Zbl 0746.30002号 [50] Goodfriend，J.，《高等数学之门》，琼斯和巴特利特出版社，2005年，第182页。 [51] Grinstead，C.M.和Snell，J.L.，《概率导论》，美国数学学会，1997年，第85页·Zbl 0914.60004号 [52] Grosswald，E.，《数字理论的主题》，Birkhauser，1984年，第30-31页·Zbl 0532.10001号 [53] Gullberg，J.，《数学：从数字的诞生》，W.W.Norton&Company，1997年，第159页·Zbl 0873.00001号 [54] Halsted，G.B.，“非核素几何”，《美国数学月刊》，第7卷，第5期，第123–133页，1900年5月·doi:10.2307/2970500 [55] Hardy，G.H.，《纯粹数学课程》，剑桥大学出版社，1908年，第122–123页。（错误仍然存在于1928年出版的第五版中，该版本位于第120页。1952年出版的第十版把这段话放在第125页，既没有声称欧几里德的证明是矛盾的，也没有说乘积加1是质数。它保留在百年纪念版的第125页[58]。） [56] Hardy，G.H.，《数学家的道歉》，剑桥大学出版社，1992年（“Canto版”在作者去世45年后出版；第一版于1940年出版），第94页。 [57] Hardy，G.H.和Wright，E.M.，《数论导论》，牛津大学出版社，2003年（1979年，第一作者1947年去世32年后，第5版再版），第12页·Zbl 0020.29201号 [58] Hardy，G.H.，Körner，T.W.，《纯粹数学课程百年版》，2008年，第125页·Zbl 1143.26001号 [59] Hasse，H和Zimmer，H，《数论》，Springer，2002年（1980年版死后再版），第4页。 [60] Henle，J.M.和Tymoczko，T.，《甜蜜的理由：现代逻辑实地指南》，施普林格出版社，2000年，第309页·Zbl 0981.03001号 [61] Hersh，R.和Davis，《数学经验》，Birkhäuser出版社，1999年，第210页·Zbl 0459.00001号 [62] Herstein，I.N.和Kaplansky，I.，《数学问题》，美国数学学会，1978年，第35页·Zbl 0386.00001号 [63] Hintikka，G.H.，《中世纪哲学与现代》，施普林格出版社，2000年，第76页。 [64] Hobbs，C.和Perryman，R.，《小于五的最大数字》，露露，2007年，第65页。 [65] 霍夫曼，P.E.，《阿基米德的复仇》，W.W.诺顿公司，1988年，第38页。 [66] Hogben，L.T.，《百万数学》，W.W.Norton&Company，1937年，第211页。 [67] 赫尔，L.W.H.，《科学史与哲学：导论》，龙门出版社，1960年，第72页。 [68] Humphreys，J.F.和Prest，M.Y.，《数字、组和代码》，剑桥大学出版社，2004年，第33页·Zbl 1052.00006号 [69] Ingham，A.E.，《素数的分布》，剑桥大学出版社，2000年（重印剑桥拖拉机公司1934年出版的一本书），第1页·Zbl 0715.11045号 [70] Ireland，K.E.和Rosen，M.，《现代数论经典导论》，Springer，1990年，第17页·Zbl 0712.11001号 [71] 詹姆逊，G.J.O.，《素数定理》，剑桥大学出版社，2003年，第2页·Zbl 1033.11001号 [72] Jan，P.，《计算工程的数学基础：手册》，施普林格出版社，2001年，第287页·Zbl 0976.68002号 [73] Jensen，G.R.，《教师算术》，美国数学学会，2003年，第164-165页。 [74] 约翰森，K.F.和约翰森，F.F.，《古代哲学史：从开始到奥古斯丁》，劳特利奇出版社，1998年，第412页。 [75] Johnston，B.L.和Richman，F.，《数字与对称：代数导论》，CRC出版社，1997年，第67页·Zbl 0889.00002号 [76] Jones，A.、Morris，S.A.和Pearson，K.R.，《抽象代数和著名的不可能性》，Springer，1991年，第117页·Zbl 0758.12001号 [77] Kac，M.和Ulam，S.M.，《数学和逻辑》，Courier Dover Publications，1992年（弗雷德里克·普拉格（Frederick a.Praeger）1968年出版的一本书的再版），第3页·Zbl 0205.28901号 [78] Karatsuba，A.A.，《数论中的复数分析》，CRC出版社，1995年，第2页·Zbl 0856.11038号 [79] Kisaécanin，B.，《数学问题和证明：组合数学、数论和几何》，Springer出版社，1998年，第11页·Zbl 0908.00001号 [80] Klein，F.，《从高等角度看初等数学：算术、代数、分析》，E.R.Hedrick和C.A.Noble译，Courier Dover出版社，2004年（麦克米伦1932年出版的一本书的再版），第40页·Zbl 1073.01027号 [81] Kline，M.，《从古代到现代的数学思想》，牛津大学出版社，1990年，第79页·Zbl 0784.01048号 [82] Koch，H.，由Kramer，D.翻译，《数字理论：代数数字和函数》，美国数学学会，2000年，第22页·Zbl 0953.11001号 [83] Koshy，T.，《初等数论及其应用》，Elsevier，2001年，第200页·Zbl 0984.11010号 [84] 《现代数学的本质与发展》，普林斯顿大学出版社，1982年，第499-500页。 [85] Lauritzen，N.，《具体抽象代数》，剑桥大学出版社，2003年，第21页·Zbl 1057.13018号 [86] Leveque，W.J.，《数字的基本理论》，Courier Dover出版社，1990年，第15页·兹比尔0725.11001 [87] Liebeck，M.W.，《简明数学导论》，CRC出版社，2000年，第103页·Zbl 0969.00001号 [88] Lovász，L.、Pelikán，J.和Vesztergombi，K.L.，《离散数学：初等及以后》，斯普林格出版社，2003年，第93页·Zbl 1059.00001号 [89] Lozansky，E.D.和Rousseau，C.，Winning Solutions，Springer，1996年，第2页·Zbl 0852.0001 [90] Luca，F.和Somer，L.，17费马数讲座：从数论到几何，Springer，2001年，第9页·Zbl 1010.11002号 [91] 麦卡锡，T.G.和斯蒂德，S.C.，《美国维特根斯坦》，牛津大学出版社，2001年。 [92] Maor，E.，《走向无限和超越：无限的文化史》，普林斯顿大学出版社，1991年，第235页·Zbl 0787.01001号 [93] Menini，C.和van Oystaeyen，F.M.J.，《抽象代数：综合治疗》，CRC出版社，2004年，第411页·Zbl 1051.08001号 [94] Meyerson，M.I.，《政治数字：混沌宪法的数学视角》，W.W.Norton&Company，2003年，第26页。 [95] Moser，L.，《数字理论导论》，Trillia Group，2004年，第17页。 [96] Muir，J.，《人与数字：伟大数学家的故事》，Courier Dover Publications，1996年（1961年Dodd，Mead出版的一本书的再版），第18-19页·Zbl 0113.00101号 [97] Mukhopadhyay，P.，Ghosh，S.，and，Sen，M.K.，《抽象代数主题》，《东方黑天鹅》，2006年，第92页。 [98] Nagel，E.和Newman，J.R.，哥德尔的证明，纽约大学出版社，1964年，第37页。 [99] Narkiewicz，W.，《素数理论的发展：从欧几里德到哈代和利特伍德》，施普林格出版社，2000年，第1-2页·Zbl 0942.11002号 [100] Narkiewicz，W.，《数论》，《世界科学》，1983年，第3页·Zbl 0528.10001号 [101] Nathanson，M.B.，《数论中的基本方法》，Springer出版社，2000年，第33页·Zbl 0953.11002号 [102] Niven，I.和Zuckerman，H.S.，《数论导论》，Wiley，1980年，第14页·Zbl 0431.10001号 [103] Ogilvy，C.Stanley和Anderson，John T.，《数论之旅》，牛津大学出版社，1966年，第35-36页·Zbl 0191.04701号 [104] 矿石，Ø。，《数字理论及其历史》，Courier Dover Publications，1988年（重印McGraw-Hill于1948年出版的一本书），第65页·Zbl 0041.36805号 [105] Paulos，J.A.，《数学与幽默》，芝加哥大学出版社，1982年，第13页·Zbl 0486.00022号 [106] 斯蒂芬·帕特森，《黎曼齐塔函数理论导论》，剑桥大学出版社，1988年，第2页·Zbl 0641.10029号 [107] 菲利普斯，G.M.，《数学不是旁观者的运动》，施普林格出版社，2005年，第102页·兹比尔1140.00003 [108] Pieprzyk，J.、Seberry，J.和Hardjono，T.，《计算机安全基础》，斯普林格出版社，2003年，第15页。 [109] 波普尔，K.，《开放的宇宙：不确定性的论证》，劳特利奇出版社，1992年，第120页。 [110] Popper，K.，《All Life is Problem Solving》，劳特利奇出版社，1999年，第28页。 [111] Rademacher，H.，《初等数论讲座》，Robert E.Krieger出版公司，1977年（1964年Ginn and Company出版的一本书的再版），第1页·Zbl 0119.27803号 [112] Ratzan，L.，《理解信息系统：它们做什么以及为什么我们需要它们》，ALA Editions，2004年，第139页。 [113] Redmond，D.，《数论：导论》，CRC出版社，1996年，第23-24页·Zbl 0847.11001号 [114] 《谁得到了爱因斯坦的办公室？》（Who Got Einstein’s Office？）《高级研究所的怪癖与天才》，《基础图书》，1987年，第72-73页·Zbl 0679.01009号 [115] Reid，C.，《欧几里德的漫长道路》，Courier Dover Publications，2004年（重印T.Y.Crowell于1963年出版的一本书），第32页。 [116] Reid，L.W.，《代数数理论的要素》，麦克米伦出版社，1910年，第10页。 [117] Ribenboim，P.，《大素数小书》，施普林格出版社，2004年，第3页·Zbl 1087.11001号 [118] Ribenboim，P.，《我的数字，我的朋友：关于数字理论的流行讲座》，Springer出版社，2000年，第64页·Zbl 0947.11001号 [119] Ribenboim，P.，《素数记录新书》，斯普林格出版社，1996年，第3页·Zbl 0856.11001号 [120] 罗伯茨，J.，《初等数论：面向问题的方法》，麻省理工出版社，1977年，第21页·Zbl 0355.10001号 [121] Rose，H.E.，《数论课程》，牛津大学出版社，1994年，第7页·Zbl 0818.11001号 [122] Russo，L.，西尔维奥·利维翻译，《被遗忘的革命：科学如何诞生于公元前300年以及为什么它必须重生》，斯普林格出版社，2004年，第44页·Zbl 1159.01003号 [123] 杜绍托伊，M.，《Primes的音乐：寻找解决数学中最伟大的谜团》，哈珀·柯林斯，2004年，第36-38页·Zbl 1055.00004号 [124] Schumer，P.，《数学之旅》，Wiley-IEEE，2004年，第2页·Zbl 1089.00001号 [125] Sethuraman，B.A.，《环、域和向量空间：通过几何构造引入抽象代数》，Springer，1997年，第22页·Zbl 0869.12001号 [126] Shanks，D.，《数论中已解决和未解决的问题》，美国数学学会，1993年，第13页·Zbl 0997.11503号 [127] Shahriari，S.，《近似微积分》，美国数学学会，2006年，第35页·Zbl 1167.00001号 [128] Shklarsky，D.O.、Chentzov，N.N.和Yaglom，I.M.，《苏联奥林匹克问题书：初等数学的选定问题和定理》，Courier Dover出版社，1993年，第370页·兹标0171.24306 [129] Spencer，A.，Adam Spencer的《数字之书》，雷霆出版社，2004年，第页。 [130] 阿拉巴马州萨博奥。，《希腊数学的开端》，斯普林格出版社，1978年，第320页。 [131] Tattersall，J.J.，《九章初等恩伯理论》，剑桥大学出版社，2005年，第107页·Zbl 1071.11002号 [132] Tenenbaum，G.和France，M.M.，由西班牙，P.翻译，《素数及其分布》，美国数学学会，2000年，第2页·Zbl 0942.11001号 [133] Urban，F.M.，“关于某些命题绝对真理的假设标准”，《哲学、心理学和科学方法杂志》，第5卷，第26期，第701-708页，1908年·doi:10.2307/2011261 [134] Vakil，R.，《数学马赛克：模式与问题解决》，Brendan Kelly Publishing Inc.，1996年，第124页·Zbl 1364.00009号 [135] Vanden Eynden，《初等数论》，兰登书屋，1987年，第59页·Zbl 0668.10001号 [136] Velleman，D.，《如何证明：结构化方法》，剑桥大学出版社，1994年，第4页·Zbl 0816.00004 [137] Wallace，D.F.，《万物与更多：无限的简约历史》，W.W.Norton&Company，2004年，第28页。 [138] Ward，T.和Everest，G.，《数论导论》，Springer，2004年，第8页·Zbl 1089.11001号 [139] Weisstein，E.W.，《CRC简明数学百科全书》，CRC出版社，2003年，第943页·邮编1079.00009 [140] Wickless，W.J.，《抽象代数第一期研究生课程》，CRC出版社，2004年·邮编1079.00004 [141] Wiedijk，F.，“形式证明草图”，收录于Berardi，S.、Coppo，M.和Damiani，F.（编辑），《证明和程序的类型》，Springer 2004年，第390页·Zbl 1100.68620号 [142] Wilder，R.L.，“数学证明的本质”，《美国数学月刊》，第51卷，第5期，第309-3231944页。 [143] 威廉姆斯，M.，维特根斯坦，《心灵与意义：走向心灵的社会概念》，劳特利奇出版社，1999年，第224、299页。 [144] 威廉姆森，J.，《欧几里得的要素》，附论文，牛津大学克拉伦登出版社，1782年，第63页。 [145] Wilson，A.M.，《有限中的无限》，牛津大学出版社，1995年，第374页·Zbl 0847.01001号 [146] Yan，S.Y.，《素数检验和整数因子分解》，Springer 2004年，第5页·Zbl 1048.11103号 [147] Zubair，S.M.和Chaudhry，M.A.，《关于一类不完全伽马函数及其应用》，CRC出版社，2002年，第292页·Zbl 0977.33001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。