阿兰·图灵(Alan Turing)

来源 :程序员 | 被引量 : 0次 | 上传用户:liuleizishen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
阿兰·图灵16岁开始研究爱因斯坦的相对论。1931年.他进入剑桥大学研究量子力学、概率论和逻辑学.这逻辑学是由剑桥大学的怀特海和罗素创立的数理逻辑。德国大数学家大卫·希尔伯特(D.Hillbert)在此基础上,于1928年提出著名的”希尔伯特纲领”.认为《数学原理》所定义的系统既是一致的.也是完备的。换言之,任何系统的完备和一致性.可以由系统本身得到证明。
其他文献
肽核酸是一核酸类似物,是核酸中的糖-磷酸主链被一合成的肽链所取代,最终形成一种非手性的、不带电荷的类似物。与核酸分子相比,肽核酸有更高的稳定性、碱基特异性。配体-受体、
根据国家发展改革委《关于继续做好涉企收费检查相关工作的通知》(发改价监[2016]1264号)(以下简称《通知》)的部署精神,福建省迅速行动,要求各地增强工作的紧迫感和使命感,在近
真正的程序员不相信任何人写的代码。毕竟未经亲手实践的代码可信程度是不高的。本文向您介绍如何检测第三方程序的安全性。
2016年4月20日《桂林晚报》第5版刊发的《天哪!吃一条鱼竞要5000元!》稿件后,多家媒体相继转载,引发社会强烈反响。桂林市价格监管部门顶着舆论压力迅速、高效、公正地完成了“
宁夏回族自治区贺兰县发展改革局,为进一步规范教育收费行为,自10月起,联合县教育局对中小学幼儿园各类收费进行检查,检查重点是:1、切实规范服务性收费和代收费行为。严禁将
<正> 亲爱的建筑师先生: 请帮我设计一所房子。我不太确定我想要的到底是什么样的一所房子,你完全可以按照你习惯的思路来设计。房子的卧室数量在2到45个之间。你的设计方案
古学水电站首部枢纽混凝土闸坝距厂房较远,为确保坝顶供电的可靠性,坝顶用电选取了两回来自不同系统的电源,互为备用,并在坝顶设置了柴油发电机组作为大坝的保安电源。介绍了
【正】 新年的时候,在MSN上遇到何致亿先生,互道新春之喜。从客套问候,到程序员的成长,读书、选书、写作,进而是技术写作的风格。当我在感叹Lippman的朴实无华、深入浅出时,
今天,给你一粒米明天给你两粒米后天给你四粒米,如此这般,一个月后你有多少米?想必大家都很熟悉这个入门级的游戏,软件也是这样,随着需求的增长功能的变化,工期的延长在你抬头一望之
①湖北省物价局党组书记、局长谢连平(左一)在政风行风热线现场认真倾听群众反映的价格热点难点问题。