distributedcomputing.info
Distributed Computing - Links
http://www.distributedcomputing.info/links.html
Parody and Fun Sites. Distributed Computing Project Links. A distributed computing projects portal for AMD CPU users. It has project links, news, and a discussion forum. A project which will "provide scientists with an inexpensive form of distributed computing power that is complementary to grid technology- as seen in such processing-intensive problems as the LHC@home project or the 'Africa@home' project." The project is sponsored by The United Nations Institute for Training and Research ( UNITAR. A good...
fwjmath.wordpress.com
计算的极限（零） | fwjmath的相空间
https://fwjmath.wordpress.com/2012/07/20/the-limit-of-computation-0
本文在科学松鼠会发表，地址 http:/ songshuhui.net/archives/70194. 上个世纪末，深蓝凭借前所未有的搜索和判断棋局的能力，成为第一台战胜人类国际象棋世界冠军的计算机，但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识 而仅仅十余年后，Watson却已经能凭借自己的算法，先 理解 问题，然后有的放矢地在海量的数据库中寻找关联的答案。 其中第二个问题 算术系统的相容性 正是他那雄心勃勃的 希尔伯特计划 的最后一步。 那么，它是不是可判定的 我们能不能找到一种机械计算的方法，判定其中数学陈述的对错 数学称述的真假，是否可判定的 这个问题，就是希尔伯特的可判定性问题。 17世纪的莱布尼兹就曾设想过用机械计算来代替哲学家的思考，而19世纪的Charles Babbage和Ada Lovelace就设计出了功能强大的 分析机 ，只可惜Babbage欠缺管理才能，这台超越了时代的机器始终没有完全造好。 他设计了一类机器，然后定义 机械计算 为 这类机器可以完成的计算。 但如此简单的机器，它又能做什么呢 它真的能充当 机械计算 的定义吗.
fwjmath.wordpress.com
Volunteer Computing | fwjmath的相空间
https://fwjmath.wordpress.com/volunteer-computing
Graceful Tree Verification Project:. Http:/ www.eleves.ens.fr/home/wfang/gtv/index en.html. Harmonious Tree, subproject of yoyo@home:. Http:/ www.rechenkraft.net/yoyo/. PrimeGrid, Arithmetic Progression 26:. AP23: 822272309705219 3847173*23#*n for n=0.22. AP22: 24078887032640311 10832007*23#*n for n=0.21. PrimeGrid, Proth Prime Search LLR:. 4587*2 531604 1 is a 160033-digit prime. 3870043895375321795489675338610209 divides 133 81 81 133. 1170266910303096942037212806767032610667 divides 119 117 117 119.
fwjmath.wordpress.com
计算的极限（七）：宛如神谕 | fwjmath的相空间
https://fwjmath.wordpress.com/2015/06/22/the-limitation-of-computation-7
本文在科学松鼠会发表，地址 http:/ songshuhui.net/archives/92392. 上个世纪末，深蓝凭借前所未有的搜索和判断棋局的能力，成为第一台战胜人类国际象棋世界冠军的计算机，但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识 而仅仅十余年后，Watson却已经能凭借自己的算法，先 理解 问题，然后有的放矢地在海量的数据库中寻找关联的答案。 图灵的这段文字其实定义了一种新的图灵机，图灵把它叫做 o-机 ，而它的现代术语叫 谕示机。 Orare的意思是 祈求 或者 祷告 ，而oracle的意思就是 神的宣布 ，也就是神谕。 Duerer-Prayer, from Wikipedia. 图灵考虑的是一类特殊的谕示机，其中的谕示能回答一切 数论问题 ，也就是说，这个谕示能判断任意的 数论问题 是否为真。 但除此之外，它就是一台普通的图灵机，于是我们也能考虑关于它的停机问题 给定一台这样的谕示机的代码 不包含谕示本身 ，以及一个输入，这台谕示机在这个输入上会不会停机呢. 这里的 偏 跟 以偏概全 中的意思差不多，指的是 不全面。 This entry was posted in 业余.
fwjmath.wordpress.com
ReadMe | fwjmath的相空间
https://fwjmath.wordpress.com/readme
热爱志愿计算 将电脑的空闲计算资源给研究人员用 ，热爱科学写作，热爱看书，热爱睡觉现在也有看动画，参见 http:/ myanimelist.net/animelist/fwjmath. 联系方式 gmail, hotmail等，邮箱名见第一项。 采用 知识共享Attribution-NonCommercial-NoDerivs 3.0 Unported许可协议. 10 thoughts on “ ReadMe. On 2011/02/04 at 23:51. On 2011/02/05 at 01:49. On 2011/02/06 at 01:04. On 2011/02/06 at 04:54. On 2011/02/06 at 09:33. On 2011/10/17 at 18:08. On 2013/01/04 at 17:37. Long shen, what is the 某网站. On 2013/01/04 at 17:38. On 2016/05/03 at 14:22. On 2016/05/03 at 15:36. Address never made public).
fwjmath.wordpress.com
计算的极限（四）：机械计算的圭臬 | fwjmath的相空间
https://fwjmath.wordpress.com/2013/11/03/the-limit-of-computation-4
本文在科学松鼠会发表，地址 http:/ songshuhui.net/archives/85861. 上个世纪末，深蓝凭借前所未有的搜索和判断棋局的能力，成为第一台战胜人类国际象棋世界冠军的计算机，但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识 而仅仅十余年后，Watson却已经能凭借自己的算法，先 理解 问题，然后有的放矢地在海量的数据库中寻找关联的答案。 现在，希尔伯特在他的问题中那模糊的 机械计算 ，终于有了一个精确的定义 机械计算，就是图灵机能做的计算。 This entry was posted in 业余. 计算的极限 五 有限的障壁 →. 2 thoughts on “ 计算的极限 四 机械计算的圭臬. Pingback 计算的极限 五 有限的障壁 fwjmath的相空间. On 2015/08/10 at 05:54. Fill in your details below or click an icon to log in:. Address never made public). 通过 WordPress.com 建立网站.
fwjmath.wordpress.com
计算的极限（三）：函数构成的世界 | fwjmath的相空间
https://fwjmath.wordpress.com/2013/04/14/the-limit-of-computation-3
本文在科学松鼠会发表，地址 http:/ songshuhui.net/archives/80229. 上个世纪末，深蓝凭借前所未有的搜索和判断棋局的能力，成为第一台战胜人类国际象棋世界冠军的计算机，但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识 而仅仅十余年后，Watson却已经能凭借自己的算法，先 理解 问题，然后有的放矢地在海量的数据库中寻找关联的答案。 也就是说，λ项中变量的名称无关紧要，无论是x, y, z还是苹果、香蕉、榴莲，又或者是小庄、游游、李清晨，项的本质是不变的。 于是丘奇将 可有效计算 定义为 可以用λ演算表达的函数。 This entry was posted in 业余. 2 thoughts on “ 计算的极限 三 函数构成的世界. Pingback 计算的极限 四 机械计算的圭臬 fwjmath的相空间. Pingback 计算的极限 五 有限的障壁 fwjmath的相空间. Fill in your details below or click an icon to log in:. Address never made public).
deknowledge.com
Idea | 解构知识
http://deknowledge.com/tag/idea
Blog under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.
SOCIAL ENGAGEMENT