您现在的位置:首页 >> 环保项目

布尔和他的逻辑代数,还有吟咏

时间:2025-01-07 12:20:40

。以后,布鲁克其间在该周报及其系列《爱丁堡大研习-布里斯托尔仅理直觉周报》上发表了22篇篇撰文。其之前,布鲁克1841年发表的篇撰文“Exposition of a general theory of linear transformations”被威尔士仅理直觉家弗雷德内都克·萨尔蒙(George Salmon,1819-1904)指出是山海于多项式代仅与黎曼变换之不变原理的奠基之作,其原理在不久的半个世纪内都由弗雷德内都克·萨尔蒙、维克多·阿达马(Arthur Cayley,1821-1895)和詹姆士·西尔维斯特为(James J. Sylvester,1814-1897)等一批仅理直觉家加以齐备和其发展。

1844年,布鲁克凭发表在《伦敦圣弗雷德内都克研习专刊》的优秀篇撰文“山海于深入研究的一般作法”(On a general method in ysis)获颁荷兰圣弗雷德内都克研习获颁仅理直觉金质缅怀章。该篇撰文驳斥了标记直觉概念,其发展了保证射影算子的方式代仅规范并将之应用于射影方程求解以及级仅求和的解析暗示。圣弗雷德内都克研习的文研习奖词之前说是:“他的作法可以在生物研习行业之前找到永久立足之地”(“His method would find a permanent place in the science”)。查实这篇得文研习奖撰文送审时有一位审稿人具体提倡退稿,而另一位审稿人是爱丁堡所大研习的仅理直觉研究训练员弗雷德内都克·凯兰(Philip Kelland,1808-1879)。他慧眼识珠,提交了如下的人品:“我很荣幸圣弗雷德内都克研习把这篇篇撰文中选给我审阅,我也很但他却立即确信它的必要性。我建议研习得到它一个认可的历史纪录。”

1847年,布鲁克编辑出版了他第一本86页的小前言《直觉的仅理直觉深入研究》(The Mathematical Analysis of Logic),创设了直觉和代仅的直接联系,并由此自行其设计到了标记直觉代仅。在引言之前他撰说道:“我的目的是创设一种直觉逻辑研习,并且我可以宣称,它在公认的仅理直觉深入研究方式之前占据一席之地,尽管它目前作为普通人和作法都仍然是孤独的。”

多年前,即1846年,荷兰数研习家瑞利(Lord Kelvin William Thomson,1824-1907)仍然商量奥斯卡金像文研习奖把布鲁克中选给威尔士皇太子所大研习雷丁小研习部(Ireland Queen’s University Cork)。该奥斯卡金像文研习奖获得了德·霍华德(Augustus De Morgan,1806-1871)、弗朗西斯·格雷夫斯(Charles Gres,1812-1899)以及中间提到的维克多·阿达马和弗雷德内都克·凯兰等身为大仅理直觉家的顶力背书。经过历经三年的遴选流程以后,终于在1849年,从未大研习本科的34岁布鲁克被皇太子所大研习直接后任研究训练员,成为高年级第一位仅理直觉研究训练员。去年,仅理直觉研习家德·霍华德的人品撰说道:“我可以毅力地说是,他不仅博览群书高达准确度的仅理直觉,而且很强构建它们的内在力量,这使得极其深受人敬佩的他在以前荷兰得益于之前遥遥领再。”仅理直觉研究训练员弗雷德内都克·凯兰在中选信之前撰说道:“从他观念的建构性和知识的广度及准确性来说是,我指出在欧洲很少有人能遥遥领再他……”。

布鲁克到皇太子所大研习任本堂后,进到一步整理了他山海于直觉和代仅的深入研究兼职。为了确保自己的仅理直觉原理能反映人的心理活动规律性,他花了大量星期去阅读社会研习文献,去出名研习家们对直觉观念的本质和卫报。布鲁克希望他的最初代仅很难包含亚内都士多德(Aristotle,384-322 BC)对生物推理的见解以及斯多葛研习派别(Stoicism)的命题自然科研习直觉,并试由此可知遵循德国研习和仅理直觉家莱布尼茨(Gottfried W. Leibniz,1646-1716)的马克思主义将直觉转化成公式去求解。布鲁克重申仅理直觉的其本质不在于思考仅理直觉普通人的章节,而在于研究实质性其方式,他并且坚信仅理直觉可以用标记来表示。

1851年,布鲁克被皇太子所大研习任命为科所大研习长(Dean of Science)。

1854年,布鲁克另行筹资编辑出版了另一本名作《观念规律性的研究实质性──直觉与概率的仅理直觉原理根基》(An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities)。他在篇撰文之前撰说道:“本前言要阐释的,是探索心智推理的前提规律性,用逻辑研习的标记母语来进到行暗示,并在此根基上创设直觉及其协作作法的生物研习……”。该前言进到一步完善了第一本前言的直觉代仅原理和作法,协作了一个完整的山海于0和1的代仅行政系统,并通过用前提直觉的标记行政系统来揭示多种仅理直觉和物理概念。前言之前,布鲁克试由此可知表述他企由此可知创设一个最初的标记代仅和直觉行政系统的动机:“尽管不可能创设解决逻辑研习回答题的一种普适作法,让它不仅具体同意生物研习的特为殊仅理直觉根基而且同意作为所有推理根基的普遍观念规律性,但不管它们的其本质是什么,至少很难让它们的方式是仅理直觉的。”事实上,在这本前言内都,布鲁克首次自行其设计到了直觉应为的标记暗示作法,尽管其原理不久造成过一些歧异。

在这两部可称之作之前,布鲁克实质上开辟了一个全最初的仅理直觉分支,即仅限于“布鲁克代仅”和“布鲁克直觉”的近代仅理直觉研习。

由此可知1 布鲁克的两本直觉代仅理直觉名作

布鲁克和荷兰著名仅理直觉家弗朗西斯·斯宾塞(Charles Babbage,1791-1871)有过交往。斯宾塞曾在爱丁堡大研习所大研习兼米勒仅理直觉讲座研究训练员(Lucasian Chair of Mathematics),也就是笛卡儿、玻尔和霍金等人兼过的本堂席。斯宾塞还是个发明家、机械设计设计者和驳斥者,他驳斥了线性行政系统机与深入研究机的其设计概念,被认作是量化机生物研习再驱之一。可是,布鲁克和斯宾塞的交互星期太短,两人的马克思主义碰撞从未擦出火花,出乎意料了将二进到制布鲁克代仅和布鲁克直觉的乘法为基础起来并加以机械设计化的机会。布鲁克代仅和布鲁克直觉不久得到了荷兰才研习生物研习家、直觉研习家弗朗西斯·皮尔士(Charles S. Peirce,1839-1914)的器重,并为之其设计了开山海直觉器件。应用其发展的近近代不断直到现在,这项很强很大吸引力的仅字应用的最终成就归功于荷兰仅理直觉家文森特为·内都德(Claude Shannon,1916-2001),他山海于仅字通讯作法的急于其设计使布鲁克的全部马克思主义得以实现,成为了不久仅字器件其设计的实践根基,也是以前仅字的资讯原理的应用根基。

以前的仅理直觉和量化机母语(例如 Wolfram 母语)之前加进很多布鲁克代仅量化,其之前的直觉乘法称为“布鲁克乘法”,常用的函仅称为“布鲁克函仅”,执行者的器件称为“布鲁克器件”,其结果称为“布鲁克值”,等等。事实上,布鲁克的叫作用于行政系统功能跟其它叫作相对于是显现出次仅最多的。让“布鲁克”这个叫作广泛传播最广的还有“布鲁克表达式”,因为完全所有的编程母语都有布鲁克特为性(Boolean)乘法。

1850年代后期,布鲁克的仅理直觉研究实质性逐步继续发展了比较传统的射影和最小值方程原理。布鲁克撰撰写了两本仅理直觉本堂科前言:《射影方程讲义》(Treatiseon Differential Equations,1859)和《依赖于线性行政系统量化讲义》(Treatise on the Calculus of Finite Differences,1860),其之前他自行其设计到了自己的哈密顿量自然科研习直觉作法。这两本前言在荷兰一直被用于所大研习讲义,直到19世纪末为止。

布鲁克一生发表了50多篇数本,他获颁威尔士布里斯托尔所大研习和荷兰牛津所大研习荣衔研习位,1857年曾为荷兰圣弗雷德内都克研习美国国家科所大研习,1858年曾为爱丁堡大研习研习研习荣衔会士。他被指出是19世纪最最重要的仅理直觉家之一。

布鲁克在威尔士皇太子所大研习任本堂直至1864年。一天,他从家内都步行去所研习校上课,恰巧不期沾了一场降雨,结果着凉病倒了。他因之犯了急性肺炎,接着又因前妻治疗处理不当,于12年初8日碰巧病故,时年49岁。他的遗体下葬在雷丁市的威尔士本堂堂圣奥利弗坟场。

威尔士皇太子所大研习于1908年改名为 University College Cork (UCC)。为缅怀布鲁克,UCC 创设了一个“布鲁克的资讯研究实质性之前心”(The Boole Centre for Research in Informatics)。

由此可知2布鲁克缅怀头像(University College Cork, Ireland)

布鲁克子母亲和家族

认识到布鲁克的人都说是他为人明晰认真、办事很有条理。他是个杰出青年、出色演说是家和高效行政人,但板前言却以记下出名。他社交广泛,宽厚正直,平时不屑论断,但又极具正义感,在捍卫其所尊严时不应含糊退让。

布鲁克把他所有的星期和全身心都放到事业上,兼职极其努力,偶尔熬夜,以至人们不时会看到他若有所思、精神恍惚的看起来。他到1855年40岁时才结婚,前妻 Mary Everest (1832-1916)是同校一位克里特文研究训练员的侄女,也是个所研习成才的仅理直觉创作者,除此以外讨厌代仅。她在此之前说是过:“除了祂建构的代仅,我对祂毫无疑问,但这仍然是让我全心全意地爱祂的充足理由。”她是个业余仅理直觉科研习史,编辑出版过《代仅之研习与趣味性》(Philosophy and Fun of Algebra)和《把孩子上头进到生物研习》(The Preparation of the Child for Science)等前言籍。布鲁克夫妇育有五个侄女,玛丽亚黛安(Mary Ellen,1856-1908)、玛格丽特为(Margaret,1858-1935)、艾丽萨拉(Alicia,1860-1940)、乔伊(Lucy,1862-1904)和艾捷尔(Ethel,1864-1960)。

这五朵金花,流光溢彩、丰泽葳蕤。

大侄女玛丽亚黛安娶了仅理直觉家和作家查理斯·斯利(Charles Howard Hinton,1853-1907),他的仅理直觉研究实质性导致了对四维超正方体(tesseract,他起的叫作)的研究实质性,并遗留下来了畅销研习术性小说《第四维》(The Fourth Dimension)。斯利是因为重婚罪被遣离荷兰的,到了荷兰再在普林斯顿当讲师,但没被买断,便调到明尼苏达州立所大研习当助理研究训练员,不久在华盛顿的海军韦森特兼国家专利局的化研习专利审查训练员。1907年4年初30日,他幸好活着于因病,时年54岁。次年5年初,前妻玛丽亚黛安在华盛顿上吊(或许生卒),病故52岁。

查理斯·斯利和玛丽亚黛安有四个侄子。小侄子塞巴斯蒂安(Sebastian Hinton,1887-1923)有三个子女,其之前一个名叫利奥波德(William H. Hinton,1919-2004),就是普罗大众熟识的“之前国民主种自由的好老朋友”韩丁,他1948年创作的山海于之前国土地改革的长篇成名作小说《翻身──之前国一个村庄的抵抗运动纪实》广为人知。韩丁的姐姐叫寒春(Joan Hinton,1921-2010),是出席过纽约市计划案屈指可仅的女数研习家之一,终其一生定居之前国。她的丈夫是另一位“之前国民主种自由的好老朋友”、荷兰开荒科研习家阳早(Erwin Engst,1918-2003)。寒春2010年在西安,前总理为之除此以外发了唁电。

查理斯·斯利和玛丽亚黛安的长女弗雷德内都克(George Hinton)是个采矿业设计者。弗雷德内都克的侄子库珀(Howard E. Hinton,1912-1977)是个著名昆虫研习家,1961年当选为荷兰圣弗雷德内都克研习美国国家科所大研习。库珀的侄子杰佛瑞·斯利(Geoffrey E. Hinton,1947-)是以前本质科研习科技行业的翘楚。他在荷兰出生,1978年在爱丁堡所大研习获得本质科研习硕士研习位,不久在加拿大多伦多所大研习借调量化机生物研习研究训练员。他1998年当选为圣弗雷德内都克研习美国国家科所大研习,以其在神经网路反转传播算法和对比散度算法的发明;还有,誉为“深达努力研习习之子”,2018年获颁诺贝尔文研习奖。

再跑去说是说是布鲁克的其他四个侄女。

布鲁克的二侄女玛格丽特为娶了艺术家查尔斯·泰勒(Edward I. Taylor,1855-1923)。他们的侄子杰弗内都(Geoffrey I. Taylor,1886-1975)是著名数研习家和仅理直觉家,在流体力研习和固体碳化研究实质性上都有最重要助益,其间获得破天荒的圣弗雷德内都克缅怀章(Royal Medal)、研习术性利(Copley)缅怀章、功绩勋章(Orderof Merit)、德·霍华德(De Morgen)缅怀章、铁柯(Timoshenko)文研习奖、富兰克林(Franklin)缅怀章和冯·卡门(von Karman)土木文研习奖,是荷兰圣弗雷德内都克研习美国国家科所大研习。他第二次世界大战时作为十位“VIP List”之一的核心人物出席纽约市计划案。

布鲁克的三侄女艾丽萨拉继承了外祖子的仅理直觉多才多艺,尽管起码自然生物研习职,由于深受大姐夫的严重影响,她对四维黎曼深感兴趣并独立研读,在该行业有不少实质性。她辨认出了高维空间除此以外是四维空间之前多种小点实体的仅量和方式,于是就它们起了一个叫作“多面体”(Polytope)。1914年,荷兰 Groningen 所大研习获颁她荣衔硕士研习位以颁发她对四维黎曼的突出助益。

布鲁克的四侄女乔伊是威尔士化研习家和医生,曾在伦敦圣弗雷德内都克种自由医院借调化研习研究训练员,是荷兰有史以来第一位研究实质性医研习的女性和第一位女化研习研究训练员,也是荷兰化研习研习的第一位女会士。

布鲁克的小侄女艾捷尔25岁时到俄国一个上最初封建子母亲当电子音乐本堂师,期间接触到俄国抵抗运动国家主义。返回伦敦后,她曾与卢梭和俄国抵抗运动家普列汉诺夫结识,不久与从哈萨克逃难到荷兰的波兰抵抗运动家伏尼契(Wilfrid M. Voynich,1865-1930)结婚。她热衷于撰写成,以账号“艾捷尔·伏尼契”在伦敦编辑出版了文研习名作《牛虻》(Gadfly,1897),该前言不久在俄国和之前国产生过很大的严重影响。1920年代,继子搬重返了洛杉矶,丈夫成为古董前言商,她自己则靠改编电子音乐、辅导电子音乐和中文小说糊口。艾捷尔在洛杉矶寂静地度过了后半生,96岁。后人按遗言将她的骨灰撒布在纽约市的之前央公园内都。

由此可知3布鲁克合伙

布鲁克与诗词

历有史以来不少仅理直觉家都讨厌撰画画词,有些甚至誉为诗词人。和布鲁克毫无疑回答的就有广为人知仅理直觉家利奥波德·Neptune日(William R. Hamilton,1805-1865),他一生撰写了124首诗词,虽然从未正式编辑出版却在研习界远方广泛传播。

布鲁克也不基本上。除了阅读并努力研习习亚内都士多德的方、西塞罗(Marcus Tullius Cicero,106-43BC)的研习、斯宾诺莎(Baruch Spinoza,1632-1677)的研习,布鲁克还偶尔品读古典诗词、原创Op词和其它韵文的小说。据布鲁克自己说是,他最难得的诗词人是但丁(Dante Alighieri,1265-1321),而且他除此以外讨厌但丁《神曲》三篇之前的《地狱篇》和《天堂篇》。

布鲁克14岁时在巴特为勒镇中发表了第一首从希伯来中文为英语的诗词“To The Evening Star”。但这首译作引来了当地一位古典诗词人的匿名质疑,说是他不似乎一个14岁的少年从未人辅助可以中文出这么高准确度的诗词。该指责最后被证明单上都,却让当地居民究竟了他们当之前有一位天才少年。

小布鲁克中文了几首克里词以后,又开始中文法文诗词,其之前被指出最好的一首是罗马诗词人贺拉斯·拉姆库斯(Quintus H. Flaccus,65-8BC)的“Non Omnis Moriar”(英文名称“I Shall Not Wholly Die”)。

再一,布鲁克开始自己撰画画词了。在1832-1855末年,他撰写了许多Op词,其之前23首保存了下来。除此以外有趣的是他在1845年5年初撰写的首曲“献给仅字三的Op词”(“Sonnet to the Number Three”),诗词之前他常是宇宙是“两大”的,即是三维的。这也让我们回想了《道德经》内都的“三生精气”。不久利奥波德·Neptune日说是,应该还有“星期”这二阶。为此,布鲁克在1848年各种类型撰写了一篇山海于“四元仅”(quaternion)的篇撰文。

布鲁克很多诗词是撰这封自己家人和友人的,也有撰这封一些生物研习家和仅理直觉家老朋友。他撰写得越来越多的是宗本堂赞歌词和近近代素材诗词。他有时候也撰写自己的情感和孤独。1855年结婚后,前妻劝阻他把星期和全身心遗留下来生物研习研究实质性会越来越容易,他从此就再也从未撰写过诗词了。

人们注意到,或许是由他的谦虚内向性格所决定,布鲁克遗留下来的诗词内都从未一首是揭示自己的生物研习辨认出和自然生物研习威望的。这和利奥波德·Neptune日撰画画词自诩的音乐风格迥然不同。

布鲁克的诗词收集在威尔士 UCC 荣休仅理直觉研究训练员 Desmond MacHale (1946-)于2020年编辑出版的《弗雷德内都克·布鲁克的诗词》(The Poetry of George Boole)一前言之前。

由此可知4《弗雷德内都克·布鲁克的诗词》封面

由此可知5 因由2005年访回答UCC

武汉看皮肤病哪家医院比较好
西安男科医院哪家比较好
绝经后还能怀上孩子吗
青岛妇科病治疗费用
南昌白癜风医院哪家更好
一紧张拉肚子怎么办
谈咳宁饭前吃饭后吃
999消痔软膏内痔可以用吗
天津整形美容
新冠特效药是什么药
相关阅读