首页 >> 计算机科学

订阅此频道更新

QQ20121211-1

计算的极限(二):自我指涉与不可判定

Filed under: 专题:图灵,学科,数学,计算机科学 发表于 2012-12-12 14:04

要证明某种东西存在,只要举出一个例子就可以了;但要证明某种东西不存在,就要想办法排除所有的可能性,而在现实生活中,这几乎是不可能的。但在数学中,情况大不相同:通过形式逻辑的方法,我们可以确实地证明某种数学对象不存在。这都要归功于数学那彻底的抽象化和形式化。

为什么数码相机可以拍出彩色照片?

Filed under: 计算机科学 发表于 2012-12-07 18:01

为什么数码相机可以拍出彩色照片?raw格式是怎么回事?这一切都跟上个月(11月13日)去世的83岁的柯达公司退休工程师布赖斯·拜尔(Bryce Bayer)有关……

[少儿科普]人人喜欢“大玻璃”

Filed under: 少儿科普,计算机科学 发表于 2012-11-17 11:58

在一阵舒缓的音乐声中,我睁开了眼睛。我那聪明能干的“闹钟”,它一定知道我昨晚睡得很迟,所以,这会儿绝不敢给我放太激烈闹腾的东西,否则,嘿嘿,它就“性命难保”了。我伸出手,在床头柜的玻璃面板上轻点一下,以示对“闹钟”的嘉奖——你猜的没错,我的“闹钟”就是这块玻璃。我全新的一天,就要从这块“大玻璃”开始了。

花的姿态

Filed under: 计算机科学 发表于 2012-11-01 06:00

理性会扼杀艺术的灵感吗?至少在村山诚的作品里,我们更多看到的是科学的严谨上生长出艺术的花朵。与自然的热情洋溢相比,科学之美则更为静谧。从另一个角度看来,却是别有一番滋味。

未来预告片与现实入场券

Filed under: 书评,计算机科学 发表于 2012-10-22 06:35

威廉姆·吉布森说过,未来已经到来,只是分布不均匀而已。《未来在现实的第几层》表现的正是这种不均匀。一些我们觉得还是幻想的技术,已经实现了,甚至正在商业化。且莫开心,这种不均匀同样意味着,很多人可能生活在没有分布的低技术区域。

工业机器人:制造业新劳工?

Filed under: 计算机科学 发表于 2012-10-13 23:33

工厂取代手工作坊,机器代替手工劳动,这是工业革命的一般标志。随着机器人技术的进步,未来完全取代人工劳动也并非不可能。这是不是意味着新的工业革命就要到来?

寂寞的恋人啊

Filed under: 计算机科学 发表于 2012-09-05 16:25

全球化和信息化的革命打碎了旧时代,也让心手相依的恋爱成为了许多恋人渴望而不可及的奢望。这场冲击如此剧烈,让地球变成一个村庄,却让恋人们分散在不同的角落;它让远程恋爱这个词已然有了专用的缩写“LDR”,让Google搜索结果超过三千五百万项,而亚马逊书店上关于这一主题的书籍居然有八千多种。

[What if]第5期——机器人启示录

Filed under: 漫画,科幻,计算机科学 发表于 2012-08-11 06:32

如果机器人造反了,人类还能撑多久?——Rob Lombino

艾伦·图灵——如谜的解谜者

Filed under: 专题:图灵,计算机科学 发表于 2012-08-03 22:14

第二十三堂"科学一课"在图灵诞辰100周年零一个多月后姗姗来迟,在外墙环绕着一众图灵奖获得者的中科院计算所会议中心,赋闲游荡中苏椰作为本场主讲,带着大家神游了图灵浩瀚的心灵海。

[解惑系列]生物计算机,里面养着啥生物?

Filed under: 计算机科学 发表于 2012-07-20 14:40

机器和生命总是在科幻小说和电影中被设定为一对矛盾的事物,是怎样摒弃前嫌组合到一起的呢?既然要由生物来完成计算,里面究竟是那种生物?聪明的细菌还是浸泡在药水中的、插满电极的大脑?而且,只要是生物就会有死亡,要是计算机中某一环节的生物死了,计算机不是就“死机”了?里面储存的信息会不会随着一起消失?

计算的极限(零):逻辑与图灵机

Filed under: 专题:图灵,数学,计算机科学 发表于 2012-07-17 06:45

计算似乎无所不能,宛如新的上帝。但即使是这位“上帝”,也逃不脱逻辑设定的界限。第一位发现这一点的,便是图灵。

面对面的办公室——纪念艾伦•图灵百年诞辰(上)

Filed under: 专题:图灵,数学,计算机科学 发表于 2012-07-12 18:00

马尔孔说你知不知道薛定谔的量子力学有趣极了,图灵说你知不知道爱因斯坦的相对论也有趣极了。晚钟响了,他们回各自的宿舍睡觉,又在凌晨爬起来站到阳台上用天文望远镜看星星,并写信把观测结果告诉对方:“我从没见过更好的木星。今夜我看到了五个环,甚至能看清中间那个环上的斑。”“我今夜看到了仙女座,但一会儿就消失了。”

图灵之谜-《艾伦·图灵传》序

Filed under: 专题:图灵,计算机科学 发表于 2012-07-03 18:01

苏椰:“我在CogSci和别人讨论问题。我说,我插一句,我的时区现在是2012年6月23日0点,艾伦图灵100岁生日快乐。 正在讨论问题的人,除了我之外,还有一个研究量子计算的学者,一个机器学习的,一个数学的。他们都停下来,祝你生日快乐。你会兴奋嘛?百年之后,晚辈们在搞这些好玩的东西。 可你却是最悲伤的故事。”

基于用户投票的排名算法(六):贝叶斯平均

Filed under: 计算机科学 发表于 2012-06-29 16:05

热门电影与冷门电影的平均得分,是否真的可比?举例来说,一部好莱坞大片有10000个观众投票,一部小成本的文艺片只有100个观众投票。这两者的投票结果,怎么比较?如果使用"威尔逊区间",后者的得分将被大幅拉低,这样处理是否公平,能不能反映它们真正的质量?

考试作弊必须指南——通信工具篇

Filed under: 物理,计算机科学 发表于 2012-06-25 05:19

考场是怎么屏蔽信号的呢?把考场变成一个法拉第笼是个不切实际的办法,大多数的解决方案是使用手机屏蔽器,屏蔽器的原理是发出强大的噪声干扰手机和基站间的通信,不过一般只能屏蔽特殊的频段,面对更强大的作弊工具,还有什么办法呢?

第 3 页,共 10 页123456789...Last »