首页 >> 计算机科学

订阅此频道更新

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

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

屏幕快照 2014-06-10 下午4.22.08

图灵测试,测的到底是什么?

Filed under: 漫画,计算机科学 发表于 2014-06-10 15:57

经济学有个所谓的古德哈特定律:一项指标一旦成为政策制定的依据,便立刻不再有效。政策制定者会牺牲其他方面来强化这个指标,使得这个指标不再具有指示整体情况的作用。类似的道理勉强也可以套用到别的领域里。某种意义上尤金·古斯特曼就是例证——它不但是专门设计的聊天机器人、缺乏任何其他领域的智力能力。

OpenSSL漏洞是怎么回事

Filed under: 漫画,计算机科学 发表于 2014-04-11 17:40

xkcd 论“心泣”(heartbleed)漏洞。就是这两天大家老看见的那个OpenSSL漏洞啦。

那盏灯不仅能上网,还能说话

Filed under: 计算机科学 发表于 2013-12-27 16:57

如果把可见光通信技术仅仅变成一个“灯下可以上网”的技术,就把它看小了,这个技术真正伟大的意义在于让每一盏灯都能说话。

[what if]第63期:打孔卡上的谷歌

Filed under: 漫画,计算机科学 发表于 2013-10-22 20:20

如果谷歌的所有数据都用打孔卡储存,那么需要多大的数据仓库才能容纳得下?

这么多,记不住,头好晕……

计算的极限(四):机械计算的圭臬

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

图灵知道,丘奇也知道,他们已经踏入了一个新领域。昔日希尔伯特在他的二十三个问题中,一语带过的那个“机械化的运算”,即将被赋予精确的数学含义。但正因如此,踏出的第一步必须慎之又慎,尤其对于“可计算性”这个最基础的定义,必须做到毫不含糊。为此,为了消除模棱两可之处,图灵机与λ演算是否能力相当,这是个必须回答的问题。

RSA算法原理(二)

Filed under: 数学,计算机科学 发表于 2013-09-09 14:17

假如有人找到一种快速因数分解的算法,那么RSA的可靠性就会极度下降。但找到这样的算法的可能性是非常小的。今天只有短的RSA密钥才可能被暴力破解。到2008年为止,世界上还没有任何可靠的攻击RSA算法的方式。

RSA算法原理(一)

Filed under: 数学,计算机科学 发表于 2013-09-06 13:53

如果你问我,哪一种算法最重要?我可能会回答"公钥加密算法"。因为它是计算机通信安全的基石,保证了加密数据不会被破解。你可以想象一下,信用卡交易被破解的后果。

谷歌新计划:放个热气球来上网

Filed under: 计算机科学 发表于 2013-07-11 07:21

谷歌的设想是,让热气球飘浮到2万米的高空,热气球上携带着无线网络信号的收发器,信号覆盖的面积可以达到两个纽约城那么大,为地面提供互联网接入服务。

竹筏还是灯塔——数据洪流中的科学方法

Filed under: 数学,计算机科学 发表于 2013-07-05 08:49

谷歌翻译另辟蹊径, 借助数以亿计来自不同语言的语句之间的统计关联来做翻译,而无需知道被翻译文字的含义, 只关心两种语言之间的统计关联。据说谷歌的研究主管诺维格曾做出一个大胆的预测:谷歌的新思路不仅适用于商业,而且会越来越多地渗透到科学上, 最终取代现有的科学方法。在他看来, 科学才是这种新思路的 “大目标” (big target)。

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