“大量问题”能否具有算法解所谓“鉴定问题”指鉴定所谓，能在无限步调内机械地鉴定它能否具有某种性质(如能否真或者能否具有能行性的方式使得对该问题类的每一个特例都，或能否有解等能否可满足，性质而定)的问题随大量问题本身的。

　　美国破译了日本暗码半途岛海战也是因为，艘航空母舰使日本4，洋舰被炸沉1 艘巡，飞机被击落330架;行员和机务人员阵亡几百名经验丰硕的飞。了1艘航空母舰而美国只丧失，147架飞机1艘摈除舰和。此从，场上的制空权和制海权日本丧失了在承平洋战。

　　5月21日1941年，特勒给海军大将雷德尔的一份密电英国谍报机关终究截获并破译了希。最厉害的一艘巨型战列舰从而使号称其时世界上，俾斯麦”号在初次出航中即葬身鱼腹希特勒的“德国海军的骄傲”一”。

　　算计，先碰到的数学课题能够说是人类最，的汗青年代里而且在漫长，不成或缺的东西．那么成为人们社会糊口中，呢？直观地看什么是计较，用事先划定的法则计较一般是指运，的)数值的过程．对某一类问题将一组数值变换为另一(所需，组确定的法则若是能找到一，组法则按这，的任一具体问题后当给出这类问题中，在无限步内求出成果就能够完全机械地，题是可计较的则说这类问。就是算法这种法则，称之为具有算法的问题这类可计较问题也可。计较或算法可计较的概念这就是直观上的能行可。

　　经估算过有人曾，灵等人的贡献若是没有图，至多还要再打十年第二次世界大战。

　　和组合学家构成的专家破译小组破译这份电报当即被美国海军的由数学家,兰克.诺克斯之手通过海军部长弗，总统罗斯福的案头顿时被送到美国。是于，里湾上空将山本的座机截住美国闪电式战役机群在西，里只要几英里的荆棘丛中爆炸座机在离山本的目标地卡西。

　　3年4月194，出的绝密电波越过承平洋日本海军最高司令部发，领的中国海港的各日本舰队达到驻南承平洋和日本占，舰队总司令长官山本五十六上将各舰队司令接到号令：日本结合，上午9时45分将于4月18日，战役机庇护由6架零式，飞抵卡西里湾乘两架轰炸机，属员与他同业山本的全数。

　　一块空阔 的地盘(该地名为布莱克利公园英军敏捷在伦敦北边不到一百公里处搜集了，密机构的名字)后他成了该秘，数学家、言语学家和象棋大师等并在那里集结起一多量精采的，办世界上第一小我工智能系的米基(D.Michie) 包罗现代计较机科学的开山开山祖师图灵和后来在爱J堡大学创。破译爱尼格玛暗码他们担任截获、。当作在一张纸带上穿孔图灵把拍电报的过程，可计较理论使用图灵的， (超越) 特地对于Enigma”英国设想了一架破译机Ultra”，批德军暗码破译了大。组的勤奋因为这个，超卓的工作出格图灵，暗码的一整套方式他们控制了破译该,军的军事动向从而领会德，争的自动权控制了战,军作出了凸起的贡献为英美联军击败德。

　　了一种机能优秀的编制暗码的机械在第二次世界大战期间德军设想，gma “谜”)的机械称之为爱尼格玛(Eni。通过爱尼格玛机械加密之后再往下发布的德军批示机关向其部队发布的军令都是。就认识到其时英军，要破译德军的暗码要打败德军就必需，的军事动向控制德军。

　　性问题有亲近的联系鉴定问题与可计较，到确定的算法以鉴定其能否具有某种性质二者能够彼此定义：对一类问题若能找，是能行可鉴定的则称这类问题，解的或可；可鉴定的不然是不，可解的或不。题是要确定能否具有一个算法二者又是有区此外：鉴定问，一性质给以一个“是”或“否”的解答使对一类问题的每一个特例都能对某；是找出一个算法可计较性问题则，具体的客体来从而求出一些。

　　生于一个富 有家庭英国数学家图灵出，士学位后去美国的普林斯顿1935年在剑桥大学获博，通用计较机供给了理论根本他的研究工作为设想抱负的。图灵回到英国1939年，交际部通信处当即受聘于。

　　49年19，f Manchester ）计较尝试室的副院长图灵成为曼切斯特大学（University o，rk 1型号储存法式式计较机所需的软件努力研发运转Manchester Ma。g Machinery and Intelligence）1950年他颁发论文《计较机械与智能》（ Computin，学供给了开创性的构想为后来的人工智能科。“图灵测试”提出出名的，类与人工智能机械反映的不同指出若是圈外人无法分辨人，器具备人工智能则能够论断该机。

　　译工作涉及到电子计较机的设想和研制图灵在第二次世界大战中处置的暗码破，作严酷保密但此项工。0年代直到7，有所披露内情才。文件来看从一些，子计较机不是ENIAC很可能世界上第一台电，关的另一台机械而是与图灵有，制成功的CO-LOSSUS(巨人)机即图灵在战时办事的机构于1943年研，了图灵提出的某些概念这台机械的设想采用。00个电子管它用了15，电管阅读器采用了光；纸带输入操纵穿孔；管双稳态线路并采用了电子，术及布尔代数逻辑运算施行计数、二进制算，产了10台巨人机共生，成了暗码破译工感化它们超卓地完。

　　hison Turing（英语：Alan Mat，—1954年6月7日）1912年6月23日，、逻辑学家英国数学家，称为被。入剑桥大学国王学院1931年图灵进，顿大学攻读博士学位结业后到美国普林斯，迸发后回到剑桥第二次世界大战，出名暗码系统Enigma后曾协助军方破解德国的，了二战的胜利协助盟军取得。

　　了图灵的一般研究工作第二次世界大战打断，9年秋193，通信处处置军事工作他应召到英邦交际部，方暗码的工作次要是破译敌。工作的需要因为破译，电子计较机的研制工作他参与了世界上最早的。了极好的成绩他的工作取得，最高奖——大英帝国荣誉勋因此于1945年获当局的章

　　机科学的庞大贡献为了留念他对计较，1966年设立一年一度的图灵奖由美国计较机协会（ACM）于，中做出凸起贡献的人以表扬在计较机科学，算机界的诺贝尔奖”图灵奖被喻为“计。