摘要:Emil Leon Post(数学家与逻辑学家 1897-1954)是第一个制定了利用符号来表示逻辑的推理系统——作为一个推论,他证明了任何逻辑系统(包括数学)能够被这样的一个符号系统来表达。标记系统是[阅读全文]
摘要:莱昂纳德·莱维(Leonid Levin),也译为利奥尼德·莱文,美国波士顿大学著名数学家。Leonid Levin在1973年发表了一个以搜寻问题为基本而类似於Cook的结果,据Levin自己的陈述,[阅读全文]
摘要:世界第一台商用计算机LEO的奇迹。1947年,一家以饮料起家的英国餐饮公司约瑟·里昂公司(J. Lyons & Company),对新式的办公室管理技术产生莫大的兴趣,决定积极参与电脑的商业开发[阅读全文]
摘要:Charles Leonard Hamblin (1922 – 14 May 1985) was an Australian philosopher, logician and a computer p[阅读全文]
摘要:Leonard Kleinrock伦纳德·克兰罗克(Leonard Kleinrock),出生在1934年,他在计算机网络领域做出了一些很重要的贡献,特别是在计算机网络的理论领域。他最有名和出色的工作是[阅读全文]
摘要:特德·莱昂西斯 Ted LeonsisTed Leonsis他努力向世界销售,说的是 我不真正想听但基本上没错的话。“美国在线服务公司”(America Online Services Company)[阅读全文]
摘要:戴维·卡米纳(David Caminer),全名戴维·特莱斯曼·卡米纳(David Treisman Caminer)。David Caminer是全球第一台企业商用计算机LEO(the Lyons E[阅读全文]
摘要: 简介 江崎玲于奈(Leo Esaki, 1925-)因发现半导体中的隧道效应,而获得1973年度诺贝尔物理学奖。 经历 江崎玲于奈1925年3月12日出生于日本大阪,1940年就读于京都[阅读全文]