9、伽利略:为真理而战
英文名称:Galileo's Battle For The Heavens
发行时间:2006年03月
基于达娃·索贝尔(Dava Sobel)的畅销传记《伽利略的女儿:科学、信仰和爱的历史回忆》改编而成,向我们展示了伟大科学家伽利略的人生轨迹和追求真理的道路。
10、阿兰·图灵
英文名称:Alan Turing
发行时间:2005年
阿兰·图灵(Alan Turing)这个名字无论是在计算机领域、数学领域、人工智能领域还是哲学、逻辑学等领域,都可谓“掷地有声”。图灵是计算机逻辑的奠基者,许多人工智能的重要方法也源自这位伟大的科学家。他在24岁时提出了图灵机理论,31岁参与了Colossus(二战时,英国破解德国通讯密码的计算机)的研制,33岁时构思了仿真系统,35岁提出自动程序设计概念,38岁设计了“图灵测试”,在后来还创造了一门新学科—非线性力学。虽然图灵去世时只有42岁,但在其短暂而离奇的生涯中的那些科技成就,已让后人享用不尽。人们仰望着这位伟大的英国科学家,把“计算机之父”、“人工智能之父”、“破译之父”等等头衔都加冕在了他身上,甚至认为,他在技术上的贡献及对未来世界的影响几乎可与牛顿、爱因斯坦等巨人比肩。
11、牛津*手
英文名称:The Oxford Murders
《牛津*手》是最新的一部数学疑团影片,讲述远渡重洋来到牛津大学深造的阿根廷数学系留学生,刚到牛津不久即卷入一宗谋*案。一个夏日午后,他的房东老太太在家中被*。与他同时赶到现场的是牛津大学数理逻辑学泰斗阿瑟·塞尔登教授,因为有人在他的信箱里塞了一张纸条,上面画着一个圆圈,并写着:“序列的第一个。”接二连三的人被不露痕迹地*害,每次案发前后,塞尔登教授周围总是出现一个奇怪的符号。种种迹象表明,凶手是在通过*人,向塞尔登教授发起数理逻辑的挑战…… 一场精采的斗智于焉展开。”、“破译之父”等等头衔都加冕在了他身上,甚至认为,他在技术上的贡献及对未来世界的影响几乎可与牛顿、爱因斯坦等巨人比肩。
12、维度:数学漫步