首页 >> 计算机科学

订阅此频道更新

封面

漫画 | 10分钟看懂量子算法

Filed under: 漫画,物理,计算机科学 发表于 2017-07-24 07:21

量子计算机是什么?它能做什么不能做什么?跟传统计算机相比有什么优势有什么劣势?这篇漫画告诉你。

计算的极限(十三):数字空间的幽灵

Filed under: 计算机科学 发表于 2017-07-12 07:09

病毒和杀毒软件的攻防战线广阔异常,从磁盘到内存甚至显卡,都是它们的战场,而攻防策略之多,无论如何列举都只能是挂一漏万。计算机病毒和杀毒软件,两者你追我赶,永无止尽。注定这两者命运的,正是一条数学定理。

fwjmath-ai-art-2

机器人的艺术,是什么样子的?

Filed under: 计算机科学 发表于 2017-02-02 07:14

在2015年的夏天,谷歌的研究人员意识到,他们可以让他们的人工智能程序“做梦”。他们调整了程序,使得它不仅能将图像分门别类,还能在图像中强化观察到的事物。然后,这些机器就展示了他们对艺术的诠释。

cropped-单独松鼠Logo.png

[视频]出击吧,阿尔法狗!

Filed under: 计算机科学 发表于 2016-03-17 14:11

这段由Nature Video制作的视频,邀请到了谷歌Deep-Mind团队的科学家出镜介绍阿尔法狗,发表于阿尔法狗5:0战胜樊麾之后,李世乭对战阿尔法狗前。

unnamed

阿尔法狗的前世今生

Filed under: 计算机科学 发表于 2016-03-16 13:37

人机对抗的硝烟会慢慢消散,但包括谷歌阿尔法狗项目组成员在内的计算机科学家不会停歇,我们处在一段短暂但变革剧烈的历史中,而今天这篇文章,或许可以帮助你了解自己所身处的时代已经发生、正在发生和将要发生的变革,哪怕只是窥见其过程中的星星点点的轨迹,也比全然无知要好吧。

QQ20160201-1

木遥:关于 AlphaGo 论文的阅读笔记

Filed under: 计算机科学 发表于 2016-02-01 15:42

AlphaGo 总体上由两个神经网络构成,以下我把它们简单称为「两个大脑」,这并非原文中的提法,只是我的一个比喻。在论文中一个有趣的结论是:两个大脑取平均的结果比依赖两者各自得出的结果都要好很多。这应当是让 AlphaGo 表现出和人类相似性的关键所在。

来自Wikimedia

计算的极限(十一):黄金时代

Filed under: 数学,计算机科学 发表于 2015-10-29 11:22

哥德尔、图灵、丘奇、波斯特、克林……这些开创者们,告诉了我们“计算”到底是什么,而计算之外又有什么。但平心而论,我们给这些开拓者的颂扬还远远不够。在一般人心中,他们仍然寂寂无名。这些开拓者们,生前大多没有什么好的结局,就连死后也没有得到多少廉价的赞赏。他们为我们开拓了一个信息化自动化的黄金时代,但他们又得到了什么呢?

来自Wikimedia

计算的极限(十):无限绵延的层级

Filed under: 数学,计算机科学 发表于 2015-10-12 17:59

尽管人力能及的只有可计算的问题,但通过逻辑推演,我们能认识到,在那些我们无法解答的问题中,竟然还存在着一个精巧的结构。而正是波斯特向我们首次展示了这个无法触及的世界。

来自Wikipedia

计算的极限(九):叹息与奋斗

Filed under: 数学,计算机科学 发表于 2015-09-17 20:42

在数学界,证明就是一切。没有证明,即使看上去再确定无误的结论,哪怕拥有再多的间接证据,哪怕是最优秀的数学家的想法,都只能是猜想,而不是定理。要确立一个定理,就必须有一个滴水不漏的证明。这就是数学界的规则。而很不巧,本篇文章的主角,波斯特的研究风格比图灵更依赖直觉,换种说法就是更不严谨。

The Mathematicians

计算的极限(八):符号的框架

Filed under: 数学,计算机科学 发表于 2015-09-07 19:33

要知道,逻辑体系种类繁多,从弗雷格电路图一般的“概念文字”,到罗素和怀特黑德的《数学原理》中略显奇异的近代逻辑符号,再到现代一般使用的一阶逻辑,又到更复杂的模态逻辑与线性逻辑,甚至到现代如雨后春笋层出不穷的新逻辑体系,它们无论是符号、意义还是表达范围都千奇百怪,要找到一个能囊括过去、现在甚至未来出现的定义,这无疑是个令人挠头的工作。

QQ20150519-1

计算的极限(七):宛如神谕

Filed under: 数学,计算机科学 发表于 2015-05-19 15:52

图灵的这段文字其实定义了一种新的图灵机,图灵把它叫做“o-机”,而它的现代术语叫“谕示机”。一台谕示机就是一台有点特别的图灵机,仅仅多了一个新功能,就是能“免费”得到某一个特定的判定问题的答复。

wpid-u9IXQ1ykqRXq88lGrXHsxYb531H0sybhmVgPD4G5PTB8AgAAwAEAAFBO-2015-05-13-19-16.png

怎样才能不造出一个“奥创”?

Filed under: 计算机科学 发表于 2015-05-13 19:16

作者说:“感觉写到最后好像我首先背叛了人类╮(╯▽╰)╭”

斯蒂芬·沃尔夫勒姆:宇宙的本质是计算

Filed under: 人物,漫画,计算机科学 发表于 2015-01-13 17:00

20岁拿到加州理工理论物理博士学位,21岁获麦克阿瑟天才奖,28岁开办自己的公司,29岁推出了名震天下的计算软件Mathematica,怎么看沃尔夫勒姆都是一位少年天才。然而这却是一位离经叛道的天才,他在三十年前就离开了传统意义上的学术界,至今仍认为整个现有的科学都是跛足的,计算才是科学和人类的未来。

counting something

计算的极限(六):无穷的彼岸

Filed under: 数学,计算机科学 发表于 2014-10-21 18:13

实际上,许多关于无穷的看似矛盾结论,都可以归根于我们在日常经验中对数量与顺序的混淆。比如说有人会认为偶数比自然数少,是因为自然数除了偶数之外还有奇数,但实际上这种说法隐含了“先数偶数再数奇数”的这一清点顺序。

计算的极限(五):有限的障壁

Filed under: 数学,计算机科学 发表于 2014-07-15 17:11

图灵在普林斯顿的生活踏入第二年。作为博士导师的丘奇,向图灵提出了一个新的题目:探求超越哥德尔不完备性定理的方法。

第 1 页,共 11 页123456789...Last »