搜索结果

[[Category:艾伦·图灵]] …

[[艾伦·图灵]]在1936年用[[對角論證法]]证明了，不存在解决停机问题的通用算法。这个证明的关键在于对计算机和程序的数学定义，这被称为[[图灵机]]。停机问题在 …

尽管形式化算法已经存在了数千年，例如求[[最大公因数]]的[[欧几里得算法]]至今依然在为人们所使用，但直到1936年，[[艾伦·图灵]]，[[阿隆佐·邱奇]]和[[斯蒂芬·科尔·克莱尼]]才给出了算法在计算理论中的形式化定义。早在1703年之前就有了二进制和数理逻辑系统，[[戈特弗里 …

…尔实验室]]开发了基于一次性密码本加密技术的无线通话系统的原型机，并展示给军方。领导这个项目的是A·B·Clark，[[英国]]则派出了著名数学家[[艾伦·图灵]] <ref>{{cite web|title=Turing's achievements: codebreaking, AI and the bir …

1950年[[艾倫·圖靈]]在一篇現在著名的論文裡，提出機器或許有能夠思考的一天。他提議一種「模擬測試」，用來定義機器思考的概念，其中受試者以文字進行兩場談話，一次與真人，一次 …

…]于1936年提出的[[λ演算]]，1936年{{link-en|埃米尔·莱昂·珀斯特|Emil Leon Post}}的[[波斯特-图灵机]]和[[艾伦·图灵]]1937年提出的[[图灵机]]。即使在当下，依然常有符合直觉的想法难以定义为形式化算法的情况。<ref>{{cite book|first1=Yia …bn = 0-486-43228-9 }} Davis此書中有列出許多相關的論文，包括[[库尔特·哥德尔|哥德尔]]、[[阿隆佐·邱奇|邱奇]]、[[艾伦·图灵|图灵]]、{{link-en|巴克利·羅瑟|Rosser}}、[[斯蒂芬·科尔·克莱尼]]及{{link-en|埃米爾·波斯特|Emil Post}} …

…国海军用的密码机和密码本，并將此事保密只告诉美国罗斯福总统，英国国王[[喬治六世]]称赞此事件是整个二次大战海战中最重要的事件。这让原本连数学天才[[艾伦·图灵|图灵]]也破解不出的德军密码机得到破解，盟军设计的专门用来破译恩尼格玛密码的“炸弹”机也大大提高了[[布萊切利園|布莱切利园]]的工作效率。 {{维基数据链接|Q5933057}}创作的戏剧“破译密码”的内容为[[艾伦·图灵]]的生活，艾伦·图灵是在二战中帮助英国破解恩尼格玛密码机的密码的最大功臣。 …

平均場類型進化計算技術的起源於1950年[[艾倫·圖靈]]在遺傳類型突變選擇學習機上的開創性工作，以及1954年[[紐澤西州]][[普林斯頓高級研究所]]的[[尼爾斯·艾爾·巴里切利]](Nils Aall …

数值线性代数是由[[约翰·冯·诺伊曼]]、[[艾伦·图灵]]、[[詹姆斯·哈迪·威尔金森]]、[[阿爾斯通·斯科特·豪斯霍爾德]]、{{le|喬治·福賽思|George Forsythe}}、{{le|海因茨 …

…科学。<ref name="Denning_cs_discipline" /> 早期计算机科学受数学研究成果的影响很大，如[[库尔特·哥德尔]]、[[艾伦·图灵]]、{{link-en|路莎·彼得|Rózsa Péter}}，[[阿隆佐·邱奇]]等数学家的研究，这两个领域在某些学科，例如[[数理逻辑]]、[[范 …社会智力]]，用于推动智能研究领域，或者被应用到其它需要计算理解与建模的学科领域，如[[金融]]或是[[物理科学]]。人工智能领域开始变得正式源于[[艾伦·图灵|Alan Turing]]这位[[人工智能]][[先驱]]提出了[[图灵试验]]，以回答这样一个终极问题：“计算机能够思考吗？”<ref>{{Cite …

:(i)表格左半部分的第''i''行是''i''的二进制表示，最低有效位或第0位在最左（“小端”次序，最初由[[艾伦·图灵]]提议，所以可不无合理的叫做图灵序）。 …

…步，从最初的机械模拟计算机到随后的电子数字计算机，让工业界可以处理越来越大量的数据，来帮助规划大规模生产、配给和通讯，新的数学领域也因此发展出来：[[艾伦·图灵]]的可计算性理论、计算复杂性理论；德里克·亨利·莱默使用ENIAC促进了数论发展，提出卢卡斯-莱默检验法；[[克劳德·香农]]的信息论、信号处理、数据 …

…}}、[[史蒂芬·托尔明|托尔明]]、{{link-en|詹姆斯·塔利 (哲学家)|James Tully (philosopher)|塔利}}、[[艾伦·图灵|图灵]]、[[维也纳学派]]、[[儒勒·维耶曼|维耶曼]]、{{link-en|弗里德里希·魏斯曼|Friedrich Waismann|魏斯曼}}、 …时他甚至考虑重写罗素和[[阿爾弗雷德·諾思·懷特黑德|怀特海]]的《[[数学原理]]》。但他现在拒绝相信数学事实是可被发现的，并对此做了多次讲座。[[艾伦·图灵]]曾旁听他的讲座，并称他为“一个十分奇特的人”。两人探讨了计算逻辑和日常真理之间的关系。<ref>{{cite book|last=Hodges|fi …

:::[[草稿:艾倫·圖靈]]，暫不通過，有一段仍未翻譯完成，倘若翻譯完成，應先將sfn引用格式處理完成，應可通過。--[[U:August0422|'''<span style …