* Alan Turing 天才的数学家以及密码学家以及计算机学家。。嗯 其实应该说他是最早产生了计算机运作概念的人。Alan是已知的Gay并且因此而死。 他提出可计算性理论(就是说理论上讲任何事情都是可以通过一定的算法计算出来的) 他提出的图灵机概念至今仍在研究。其中有人为了证明图灵机的漏洞而提出了判定问题。 最终图灵自己证明了判定问题是没有答案的。
* 判定问题,大量问题。 我必须要说一下这个。 所谓“判定问题”指判定所谓“大量问题”是否具有算法解,或者是否存在能行性的方法使得对该问题类的每一个特例都能在有限步骤内机械地判定它是否具有某种性质(如是否真,是否可满足或是否有解等,随大量问题本身的性质而定)的问题。 “判定问题无解”其实差不多可以看做量子物理中概率波理论的数学解释,就是说大量的个体可以呈现出一定的特性,但其中的每个个体都是不可预测的(海森伯测不准原理)。 Brad是觉得,就算这个世界都在认可同性恋,他也没有把握自己最终能够从限制他的观念中走出来。他觉得他和Ham之间的结果完全是不可测的。
(以上,我果真又开始了。。。