上一页 1 2 3 4 5 6 7 8 9 10 ··· 24 下一页
摘要: 猴子和打字机(Monkeys and Typewriters),如果无数多的猴子在无数多的打字机上随机的打字,并持续无限久的时间,那么在某个时候,它们必然会打出莎士比亚的全部著作。猴子和打字机的设想在20世纪初被法国数学家Emile Borel推广,但其基本思想——无数多的人员和无数多的时间能产生任何/所有东西——可以追溯至亚里士多德简单来说,“猴子和打字机”定理是用来描述无限的本质的最好方法之一。人的大脑很难想象无限的空间和无限的时间,无限猴子定理可以帮助理解这些概念可以达到的宽度。猴子能碰巧写出《哈姆雷特》这看上去似乎是违反直觉,但实际上在数学上是可以证明的。这个定理本身在现实生活中是不可 阅读全文
posted @ 2013-09-06 11:20 夜雨阑珊 阅读(891) 评论(0) 推荐(0) 编辑
摘要: 特修斯之船(The Ship of Theseus),最为古老的思想实验之一。最早出自普鲁塔克的记载。它描述的是一艘可以在海上航行几百年的船,归功于不间断的维修和替换部件。只要一块木板腐烂了,它就会被替换掉,以此类推,直到所有的功能部件都不是最开始的那些了。问题是,最终产生的这艘船是否还是原来的那艘特修斯之船,还是一艘完全不同的船?如果不是原来的船,那么在什么时候它不再是原来的船了?哲学家Thomas Hobbes后来对此进来了延伸,如果用特修斯之船上取下来的老部件来重新建造一艘新的船,那么两艘船中哪艘才是真正的特修斯之船?对于哲学家,特修斯之船被用来研究身份的本质。特别是讨论一个物体是否仅仅 阅读全文
posted @ 2013-09-06 11:15 夜雨阑珊 阅读(514) 评论(0) 推荐(0) 编辑
摘要: 爱因斯坦的光线(Einstein’s Light Beam)爱因斯坦著名的狭义相对论是受启于他16岁做的思想实验。在他的自传中,爱因斯坦回忆道他当时幻想在宇宙中追寻一道光线。他推理说,如果他能够以光速在光线旁边运动,那么他应该能够看到光线成为“在空间上不断振荡但停滞不前的电磁场”。对于爱因斯坦,这个思想实验证明了对于这个虚拟的观察者,所有的物理定律应该和一个相对于地球静止的观察者观察到的一样。事实上,没人确切知道这意味着什么。科学家一直都在争论一个如此简单的思想实验是如此帮助爱因斯坦完成到狭义相对论这如此巨大的飞跃的。在当时,这个实验中的想法与现在已被抛弃的“以太”理论相违背。但他经过了好多年 阅读全文
posted @ 2013-09-06 10:27 夜雨阑珊 阅读(573) 评论(0) 推荐(0) 编辑
摘要: 空地上的奶牛认知论领域的一个最重要的思想实验就是“空地上的奶牛”。它描述的是,一个农民担心自己的获奖的奶牛走丢了。这时送奶工到了农场,他告诉农民不要担心,因为他看到那头奶牛在附近的一块空地上。虽然农民很相信送奶工,但他还是亲自看了看,他看到了熟悉的黑白相间的形状并感到很满意。过了一会,送奶工到那块空地上再次确认。那头奶牛确实在那,但它躲在树林里,而且空地上还有一大张黑白相间的纸缠在树上,很明显,农民把这张纸错当成自己的奶牛了。问题是出现了,虽然奶牛一直都在空地上,但农民说自己知道奶牛在空地上时是否正确?空地上的奶牛(The Cow in the field)最初是被Edmund Gettier 阅读全文
posted @ 2013-09-06 10:25 夜雨阑珊 阅读(224) 评论(0) 推荐(0) 编辑
摘要: 电车难题“电车难题”是伦理学领域最为知名的思想实验之一,其内容大致是:一个疯子把五个无辜的人绑在电车轨道上。一辆失控的电车朝他们驶来,并且片刻后就要碾压到他们。幸运的是“电车难题”,你可以拉一个拉杆,让电车开到另一条轨道上。但是还有一个问题,那个疯子在那另一条轨道上也绑了一个人。考虑以上状况,你应该拉拉杆吗?电车难题最早是由哲学家菲利帕.福特(Philippa Foot)于1967年发表的《堕胎问题和教条双重影响》论文中提出来的,用来批判伦理哲学中的主要理论,特别是功利主义。功利主义提出的观点是,大部分道德决策都是根据“为最多的人提供最大的利益”的原则做出的。从一个功利主义者的观点来看,明显的 阅读全文
posted @ 2013-09-06 10:23 夜雨阑珊 阅读(383) 评论(0) 推荐(0) 编辑
摘要: 快速排序的python实现 1 def part(arr,i,j): 2 key=arr[i] 3 while i=key): 5 j-=1 6 if arr[j]key:12 arr[j]=arr[i]13 j-=114 arr[i]=key15 return i16 def qsort(arr,i,j):17 div=part(arr,i,j)18 if i= base ): r-=1 if(arr[r] base):... 阅读全文
posted @ 2013-08-27 15:55 夜雨阑珊 阅读(215) 评论(0) 推荐(0) 编辑
摘要: int part(int p[], int i,int j){int key=p[i];while(i=key) j--; if(i<j) p[i]=p[j]; i++; while(i<j&&p[i]<=key) i++; if(i<j) p[j]=p[i]; j--;} p[i]=key; return i;}void qsort(int p[],int i,int j){ if(i<j) { int div=part(p,i,j); qsort(p... 阅读全文
posted @ 2013-08-27 15:02 夜雨阑珊 阅读(277) 评论(0) 推荐(0) 编辑
摘要: resource.h就是.rc文件的头文件.rc文件里的常量全在resource.h定义.rc文件和resource.h 都是给project add resource 的时候VS 自动生成的。一般情况下不用你去写和修改vc会帮你写和改但是如果你想用以前的.rc中的资源比如你以前做的对话框你只需复制粘贴就行了就象下面这段IDD_JK_DIALOG DIALOGEX 0, 0, 320, 200STYLE DS_MODALFRAME | WS_POPUP | WS_VISIBLE | WS_CAPTION | WS_SYSMENUEXSTYLE WS_EX_APPWINDOWCAPTION &q 阅读全文
posted @ 2013-08-22 16:24 夜雨阑珊 阅读(2291) 评论(0) 推荐(0) 编辑
摘要: Standard Application Fram Extend没有函数库,只是定义了一些环境参数,使得编译出来的程序能在32位的操作系统环境下运行。Windows和MFC的include文件都非常大,即使有一个快速的处理程序,编译程序也要花费相当长的时间来完成工作。由于每个.CPP文件都包含相同的include文件,为每个.CPP文件都重复处理这些文件就显得很傻了。为避免这种浪费,AppWizard和VisualC++编译程序一起进行工作,如下所示:◎AppWizard建立了文件stdafx.h,该文件包含了所有当前工程文件需要的MFCinclude文件。且这一文件可以随被选择的选项而变化。 阅读全文
posted @ 2013-08-22 16:22 夜雨阑珊 阅读(582) 评论(0) 推荐(0) 编辑
摘要: ======================================================================== MICROSOFT FOUNDATION CLASS LIBRARY : DrawPlot========================================================================AppWizard has created this DrawPlot application for you. This applicationnot only demonstrates the basi... 阅读全文
posted @ 2013-08-22 16:12 夜雨阑珊 阅读(355) 评论(0) 推荐(0) 编辑
上一页 1 2 3 4 5 6 7 8 9 10 ··· 24 下一页