对程序员们来说挑战自我非常重要，要么不断创新，要么技术停滞不前。新年伊始，我整理了12个月的目标，每个目标都是对技术或个人能力的挑战，而且可以年复一年循环使用。

01. 变得有耐心

02. 保持健康

03. 拥抱变化带来的不适应

04. 学习一门新的编程语言

05. 自动化

06. 学习更多数学知识

07. 关注安全

08. 备份你的数据

09. 学习更多理论知识

10. 接触艺术和人文

11. 向新的软件学习

12. 完成一个自己的项目

接下来我会对这些建议逐个介绍。

变得有耐心

程序员们会担心锻炼耐心付出的努力得不到应有的回报。其实，培养耐心只要付出很小的投入就能够得到相对而言很大的收获。下面是开始锻炼耐心可以尝试的一个列表，只要全身心投入其中任意一项，都可以在一个月左右脱离门外汉（成为有经验的新手）的阶段：

烹饪、徒步、滑雪、天文、慢跑、木工、武术、舞蹈
保持健康

程序员通常久坐少动，因此在日常工作中会面临健康问题，但通常都被我们忽略了。一年中花整整一个月来调整你的生活习惯、 饮食和生活环境，这会促使你养成持久、健康的生活习惯。每年去一趟诊所检查血压、胆固醇和血糖，看看这些指标最近有什么变化。如果你的手腕开始疼痛或者已 经疼了很久，马上停掉手上的工作开始与“鼠标手”（重复性劳损）作战。注意你的坐姿，尤其是肩膀和脖子。我使用了矫姿器来帮助治疗。

跟踪你的体重、摄入以及燃烧的卡路里。如果有必要，可以改变生活方式以养成健康的饮食习惯和减肥。（《Zed Shaw：程序员的常见健康问题》）

程序员的常见健康问题

拥抱变化带来的不适

在我20刚出头的时候，通过观察身边年纪稍大一些的伙伴我发现有些人停滞不前而另一些则活力充沛，我试着寻找背后的原 因。答案就是舒适感。舒适会让技术停滞不前。当找到一个能够为我所用的系统时，我们会一直使用它。但技术是不断进步的，而那些停留在舒适区的人永远不会意 识到这些进步能够为他们带来好处。不破不立，要让自己适应不舒适的感觉。

下面列出的事情一开始可能会让你感到不适应：

• 使用德沃夏克键盘
• 使用vim替代emacs，反之亦然
• 不使用鼠标
• 使用不同的窗口管理器
• 喝清咖啡不加奶油和糖，或者喝清茶
• 尝试一个月“流行且无聊的新事物”
• 一个星期中有一天不开手机
• 学习使用一种可以单手输入的设备
• 尝试一个不同的操作系统
• 一个星期中有一天不上网
• 试着对饮食加以限制：尝试吃素，成为纯素食主义者，不吃乳制品，等等
• 每天吃一种你不喜欢的食物
• 将你习惯使用的胳膊用绷带绑起来
• 学习用你不习惯的那只手写字
• 开一个博客
• 参加公共演讲
• 一个月听一种你不喜欢的音乐
• 去医院或退休家庭护理做志愿者
• 一个星期有一天快生活
• 去一个与自己文化或语言不同的国家旅行
• 读一篇广受好评但却不是你喜欢题材的小说
• 看一场广受好评但却不是你喜欢风格的电影或演出
• 学会用变速杆（手动）开车
• 反对你相信的一些事情

在一个月的尝试之后，你可以决定是否继续采用新方式，或者找到新方式中好的经验与原有方式的结合点。例如，在我从使用了10年的emacs转向vim时，我会为插入模式设置emacs风格快捷键从而继续使用vim。（《25个Vim教程、视频和资源》）

学习一门新的编程语言

编程语言起起落落。如果只了解一门语言，程序员的解决问题能力以及职业前景都会因此受到限制。花上整整一个月时间吸收一门新语言或者一个新的编程范式，并用它写一个小程序。
下面是一些可以学习但不是非常主流的编程语言：

Racket、 Haskell、Scala、Erlang、Clojure、SML/NJOCaml、Squeak、Prolog、Datalog.
如果你无所不知，那么你可以实现一门新的编程语言。

自动化

程序员拥有最强大的待开发技能就是将虚拟和现实自动化的能力。如果你从来没有造过一个机器人，那么去做一个吧。至少学会使用Lego Mindstorms或者玩一玩 Arduino board。
检查一下你每天的任务，看看其中有哪些可以完全或者部分自动化。自动化在家庭生活里已经有了长足的进步，甚至可以像Insteon那样对系统进行DIY。
投资一个月的时间来进行自动化：

• 调整你的邮箱过滤器或者设置procmail
• 为频繁进行的工作编写自动化shell脚本
• 编写shell脚本帮助写作
• 学会如何使用cron工具
• 改造橱柜灯由感应控制
• 尽可能地用无线替代有线
• 停止手动同步：将信息存到云端
• 安装一个远程控制音频系统
• 通过你的服务器控制家里的空调
• 安装数字监控摄像头
• 安装数字内部通话系统，儿童监控系统
• 让咖啡机自动打开
• 为宠物安装自动给水槽
• 为宠物安装自动感应门
• 将Roomba改造成个人信使

译注：
procmail：procmail软件包包含一个自动的邮件管理器，可以很好的过滤和排序邮件。
cron：linux下的定时执行工具。

Roomba：Roomba是iRobo公司生产的定时智能机器人。
学习更多数学知识
计算机科学本质上讲是数学的一个学科。好的数学家中间会产出优秀的程序员。不要让你的数学能力丧失殆尽。

考虑每年花一个月时间复习列表中的一项：

逻辑学、离散数学、微积分、概率论、统计学、抽象代数、数论、范畴论、偏序理论 （《数学是成就卓越开发人员的必备技能》）

关注安全

很少有程序员具备好的安全习惯。如果你对自己的数字安全很在意，你就会对你写的代码安全性更加关心。确保你在每个站点都使用了唯一的高安全系数密码。使用加密的密码管理器来管理你的密码，例如PasswordSafe或者KeePassX。如果你还没有对整个磁盘加密，留出时间完成它。（在Mac上可以轻松完成）
每年都要研究过去12个月中前10位的安全漏洞。他们是如何发生的？在编程中需要怎么做能够避免在你的代码中出现这些漏洞？

下面是另外一些你需要尝试的安全任务：

• 在Apache中加入SSL验证
• 使用RSA或AES实现密码系统
• 试着破译你的无线网络密码
• 用WireShark侦听你的网络通讯
• 设置基于密钥的无密码ssh登录
• 自己运行nmap；配置你的防火墙
• 建立端口扫描
• 为USB驱动器加密
• 监控日志文件
• 设置cron任务定期更新你的程序

译注：
nmap：linux下的网络扫描和嗅探工具包

备份你的数据

每年花一些时间检查你的备份策略。
花一个月时间将备份花费的时间减到最小。
使用基于云的备份服务，比如Mozy和Carbonite，很容易建立无缝自动备份。
更全面地防御可以选择为每个人分发硬盘，对每台电脑使用像Time Machine这样的自动备份工具进行备份。
对重要文件使用异地远程仓库进行版本控制。

学习更多理论知识

计算机科学有丰富的理论基础。

了解最新进展的同时还要加强对经典开发理论的掌握。

• 每年在下列主题上花一个月时间：
• 形式语言
• 自动机与可计算性理论
• 计算复杂性理论
• 形式化方法
• 语义学
• 算法与数据结构

译注：

形式语言：按一定规律构成的句子或符号串的有限或无限的集合。

自动机：是有线状态机（FSM）的数学模型。

可计算性理论：研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。

计算复杂性理论：计算复杂性理论是理论计算机科学的分支学科，使用数学方法对计算中所需的各种资源的耗费作定量的分析，并研究各类问题之间在计算复杂程度上的相互关系和基本性质，是算法分析的理论基础。

形式化方法：在逻辑科学中是指分析、研究思维形式结构的方法。

语义学：研究自然语言中词语意义的学科。也可以指对逻辑形式系统中符号解释的研究。

对于刚起步的程序员，可以先看一看下列文章：

• 用Haskell编写CEK风格的解析器（或语义分析器）
• 通过推导进行语法解析
• 遗失的方法：如何对Okasaki的红黑树执行删除
• 通过推导使用Scheme进行正则表达式模式匹配
• 将郑则表示转换成非确定性自动机（NFA）

译注：
CEK：CEK机器是由Matthias Felleisen和Dan Friedman开发的λ-演算的力学模型。
Haskell：一种纯函数式编程语言，以美国数学家Haskell Brooks Curry命名。

接触艺术和人文

工程师往往轻视艺术。他们没有意识到艺术和人文是基础升华的重要因素。史蒂夫·乔布斯乐于指出将技术与人文结合的重要性，事实也却是如此。

艺术和设计原则同样适用于人和计算机之间的交互。不要忽视这些原则。艺术和人文的训练让直觉更加敏锐，而这方面的练习是难以用数字来计量。工程师需要知道如何衡量那些他们不能计量的事物，而不是只是统计他们可以计量的内容。

每年至少有一个月学习下面列出的主题：

• 工业设计
• 哲学
• 摄影
• 绘画
• 素描
• 音乐及音乐理论
• 电影
• 文学

社会科学同样会对计算机科学家有很大帮助，尤其是经济学和哲学。

向新的软件学习

一个为自己的软件寻找灵感的好办法就是向新的或新型应用程序学习。例如，如果你从来没有尝试过3D建模软件，可以尝试Blender。抑或是，如果你从来没有接触过LaTeX，请真诚地试着去了解它。

在学习过程中，请注意你喜欢什么和讨厌什么。真诚地问自己，这些观察到的内容是否在你的软件中存在。在工作中很难看到自己的缺点，但发现别人的不足却很容易。天下没有哪个父母认为自己的孩子长得难看。请学习看到自己作品的不足。

完成一个自己的项目

如果你整天为别人写代码，那么为自己写程序能让你记得当初为什么会成为程序员。每年为自己选择的项目分配一个月的时间，完成核心功能，将其开源发布。

五大因素，拖了上海在互联网行业创新的后腿:

本地语言环境与文化环境 – 相比与北京，上海人对本地方言的推崇使得整个环境依然缺乏包容性。北京人喜欢侃，所以每周大大小小的聚会活动很多，而上海人更多情况下没有实际的经济利益不愿多聚，这间接让创新少了些迸发的几率。
丈母娘文化 – 上海丈母娘对女婿的挑剔，是全国出了名的。正是这一点，让众多上海本地男孩和外地希望到沪发展的人更加求稳，因为他们未来的上海丈母娘看重的更是实际的收入和公司的名声，而这两样正是创业者往往无法达到的;
政府的管控 – 常常听人提到，在上海办事，相比其它一些城市，不用玩什么旁门左道的东西，因为上海做事很有规矩。但是如今这种规矩似乎成为了一种阻碍。创业公司现在越来越小，创业方式也越发灵活，上海的循规蹈矩无法应对这种“变”。同时上海政府对各方面都抓得很严，而北京，以某位嘉宾的话来说，就是北京太大了，政府管不过来。正是这种管不过来，反倒是为创业者提供了更多自由发展的环境。
500强抢人才 – 500强企业均落户上海，这是一直以来上海作为国际化大都市的重要体现。但是正是因为这样，年轻人有更多的好职位的选择，这让他们不愿意选择创业这个可能很“痛苦的”经理。从另一个角度，按照大众点评张涛的话来说，500强的吸引力也让上海的创业公司更难找到高素质的员工。
国际化优势在互联网行业未被很好发掘 – 上海相比北京更加国际化，对很多老外来说，除去对中国文化的热爱会留在北京，大都会认为上海更适合他们生活和工作，甚至更充满活力。一次与愤怒的小鸟的亚洲区负责人聊天，他说他一直认为上海更有创新力，所以也把Rovio中国的总部定在了上海。上海把这种国际化的优势的理解，放在了花大力气做了国际电视节，电影节，时装节，车展等等上，而在互联网这个新兴行业里却跟的太慢。
过去的荣耀，仿佛突然间成为上海创新的牵绊。虽然不能以点概全，但是上海，要想建设所设想的以互联网为本的智慧城市，确实是时候反思了。

也许你已经知道了，我们正在招聘最优秀的程序员。不错，每个人都这样说。但是我们的程序员能打败你们的——任何时候。比如，米奇虽然只有5英尺高，但他是一个有相当实力的击剑手。维托尔德以前是一个6’3″的职业冰球选手。内特喜欢以丢匕首为乐。当然，他们都是很有水平的程序员。

发现这些人才，并不是你好好上班就能完成的事。事实上，我生活的一半时间都花在了上面，而丽莎差不多投入了她全部的时间。我们有一支招聘大军，搜遍世界任何一个角落，没有一份简历漏掉。总共算起来，我们有大量的简历。很多我们根本不看，因为简历——说实话——完全没有价值。相反，我们把所有的重点都放在了 几个关键问题上，我们会问所有的应聘者，每个问题的主旨都是要揭示一个关键信息：这是我们真的想要的人吗？

你知道，经验是廉价的。只要有时间，你就能有经验。技术本领难求，但事实上只要你努力就能得到——很多人都能做到。但是态度就不一样了。你要么 有，要么没有。我们要找的是对编程有热情的人，他们离不开编程。他们大多是大学之前——有些是中学之前——就开始编程了，而且一开始就停不下来。他们开发 各种程序，从汇编到jQuery，从个人电脑到移动手机，从复杂的底层计算图形到高端的社交网络。他们各个领域无所不至。

无所不至，但是，不包括 .NET。

让我来解释一下——.NET是一个很不错的语言。它很新潮，很独特，各种花哨的东西应有尽有。如果你要是开发Windows Mobile 7 应用(统计数据显示你应该不是)，它应该是你的不二选择。选择 .NET 也是一种选择，如果有谁要做这样的选择，我不会阻止，但要问一声“为什么？”
不要误解我的意思：.NET 在你的简历上并不意味着一个大红叉。但在电话筛选中的确会引起我的疑问，其中的理由让我们用个开心的比喻来解释：

用 .NET 进行编程就像是在麦当劳做烹饪。那里有全套神奇的设备能够自动的造出所有的东西。只有你按一下正确的按钮，跟着提示灯的指示，你就可以批量的制造出完美无缺的1.6盎司的汉堡，比地球上的任何其他人都要快。

然而，如果你想做出一个1.7盎司的汉堡，很抱歉，你做不到。很简单，没有这样的按钮。 馅饼是预先做成了那样的尺寸。它们做出来之后就被冷冻，所有你无法把它们揉到一起做成其它尺寸，解冻机和烹饪机是一体的，你没有办法在它们之间进行拦截。 麦当劳的厨房产出的食品精确的和麦当劳的菜单保持一致的——这种模式使你的大脑不需要任何的思考。可是，它不能偏离菜单，对烹饪机器的任何你妄想的压挤变 形都会导致它停止工作，而被送回返厂维修。

然而，我们要找的是另外一种人。一种能够用削尖的树棍在野外篝火上烧烤松鼠的人——那是在深山老林里为了生存而捕捉并剥了皮的松鼠。我们不需要 快餐店厨师长，我们要的是由野狼带入文明社会的《苍蝇之王（Lord of the Flies）》，在堆满铜钱底壶和精选香料的法国厨房里喂养大的人。我们要的人不仅仅能做汉堡，他要能够从无到有做出任何东西。

你也看见了，微软是特意这么做的（而且非常成功）。.NET要跟其它所有东西都表现出尽可能的不同，让程序员们远离细节，这样就导致他们完全彻 底的依赖微软神奇的编程工具套件，让这些工具替他们思考。微软早在舞台上只有他一个演员时就这样做，明确的使这些东西要么很难移植到非Windows平 台，要么看起来很难实现，以此来保持他的垄断地位。

这种做法——或者这种对立的思维——导致了无数的分歧。小的方面，比如在文件路径中使用反斜杠，而不是像其它经典系统中使用正斜杠，或在 DirectX中使用左旋坐标系统，而不是使用自从计算机诞生以来就采用的右旋坐标系统。大的方面，比如通过无数的分层把网络架构搞的晦涩难解，使人们很 难想象出字节在网络中如何传输的。还有成百上千这样的事情：他们的开发工具在你没有写任何代码前就先生成了一大堆复杂的文件，笨重的服务器上本来对于任何 人只需要敲几下键盘的操作却非要启动一个远程的GUI终端，那是一个对开源许可协议过敏的编程文化。这样的事情举不胜举。
这些并不会让你成为一个“差程序员”。如果你只想尽快的做出一个1.6盎司的汉堡，把余生奉献到无尽的系列菜单上，那所有的这些特立独行对你来说不会有任何影响。但是，每天你在那种厨房里的日子并不是真正的厨房生活，学不到如何做真正的食物，写不出真正的代码。

更糟糕的是，在微软厨房里学一天的东西需要两天去忘记，我是说，一旦你心安理得的走上了.NET的事业道路，你很难再走回头路。因为你被深深的 桎梏到了这些工具和技术里，而这些工具和技术跟 .NET 之外的东西毫不相干，这样一来，对于一个创业公司来说，你实际上没有什么价值，你的这些年就如南柯一梦。

那么，这篇文章是要告诉你什么？两个事情：

如果你想着在一家创业公司工作，别用.NET。它会让你不受欢迎。
如果你创办了一个公司，想招聘真正的人才，留心那些简历上有 .NET 的人，问他们为什么要写上它。
这些听起来很刺耳，但却是事实。有时候我们只有松鼠可以吃，我们需要能把它做出好的味道。

Windows Registry Editor Version 5.00

[HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\TimeZoneInformation] “RealTimeIsUniversal”=dword:00000001

修改好了需要重启Windows.

使用终端手工删除：

此时删除失败的可能性比较大：

接下来，打开 Disk Utility, 选择那个 NTFS 分区，点 Verify Disk。
然后 log 会提示一些错误，最后再 Repair Disk 就解决了。

不行的话 Unmount/Mount 多试几次。

When you grow up ,you tend to get told that the world is the way it is and your life is just to live your life inside the world, try not to bash into the walls too much, try to have a nice family, have fun, save a little money. That’s a very limited life. Life can be much broader, once you discover one simple fact, and that is that everything around you that you call life was made up by people that were no smarter than you. And you can change it, you can influence it, you can build your own things that other people can use. Once you learn that, you’ll never be the same again.”

Computers are useless. They can only give you answers. – Picasso

Many people (including my mother-in-law) think that computers are becoming so smart that programmers will be no longer needed in the near future. Other people think that programmers are geniuses who constantly solve sophisticated math puzzles in front of their monitors. Even many programmers don’t have clear idea what they do.

In this post I want to provide some explanation to uninformed people what programmers really do:

Programmers are translators of human ideas into the language of computers.

They are a link between two worlds – human and computers. Do you think it is easy to maintain this link?

Human World Background

The problem with people is that they’re only human. -  Bill Watterson

Humans are product of biological evolution and have a unique and precious organ for producing ideas for programmers – the brain. The brain is a complex combination of neocortex (unique to humans) and older structures inherited from mammals and reptiles. Older brain structures are mostly responsible for reproduction (sex) and survival (finding food or escaping danger). Neocortex evolved to support these function better, however it started to cause strange side effects – consciousness, thinking and curiosity. Thanks to these effects humans invented civilization and thousands years later computers.

Somebody could believe that after thousands years of development humans should become completely dull, predictable and rational species, but it didn’t happen – their old brain structures, complex psychology and social behavior often make people irrational, unpredictable and deceiving. In addition, humans have poor memory, strong emotions and personal interests. However, programmers don’t have choice of working with more rational species and have to work with human beigns to translate their ideas into the language of computers.

Computer World Background

Part of the inhumanity of the computer is that, once it is competently programmed and working smoothly, it is completely honest. – Isaac Asimov

A computer is the best invention of human civilization. It consist of CPU, motherboard, memory, hard drive, monitor and some other parts. Computers moved our civilization to the new level, filled our life with meaning and entertainment and compensated weaknesses of our brains. There are good chances that computers will become more intelligent than humans. (However, I am a bit concerned if computers need human programmers after it happens.)

Modern computers are completely logical, straightforward and obedient. It is pleasure to work with a computer if you know what it should do and how to instruct it. The only problem is that computers will do exactly what you tell them to do. Therefore, you should have very clear ideas and instructions for a computer to avoid feeling miserable when you see your boss or customer.

Translation Between Humans and Computers

There are three main challenges in translation:

1. Language ambiguity. Human language is vague, complex and ambiguous – for example: “This program doesn’t provide good user experience”. Culture, background and context affect communication and meaning. On the contrary, any computer language is exact, straightforward and context-free.
2. Levels of details. Humans communicate often in general terms without many details – for example: “I want this f* program work right”. It allows them to save time and energy, but cause two big problems – misinterpretation and possibility that important details are missing. And a computer requires all details – everything should be spelled out.
3. Thinking style. Humans often think in terms of needs, outcomes and solutions – for example, “This report should run in 2 seconds instead of 2 hours”. However, computers need algorithms – sequence of steps how to achieve desired outcomes.

In order to write good software, programmers have to overcome these challenges, understand humans and translate their ideas into the computer language.

Skills of a Super Programmer

As we can see a super programmer should have two distinct sets of skills to deal with both worlds.

Understand humans and create solutions:

1. Communication -ability to establish contact with humans, talk with them without alienating and even heroic attempts to share own opinion.
2. Meaning - extract useful information from conversations with humans, decode and make sense from it
3. Logic - clearing, removing ambiguity and controversy from human ideas for uncompromising reality of computers
4. Creativity - dig, twist and play with human ideas to create good solutions
5. Design - wrap programming ideas with human friendly interfaces and convenient interactions
6. Big Picture – know how solutions fit into world of users, business and Universe to make your program useful.

Tell computers what to do and build solutions:

1. Logic (again) – organize programmer’s thoughts into cohesive software ideas and instructions for computers
2. Technology - uncovering and understanding the black box of technology (black box for 99% of population)
3. Programming Languages – learn the beautiful, logical and unambiguous languages for feeding computers with programmer’s ideas
4. Algorithms - master the most effective ways how a computer can accomplish a task
5. Modeling  - create abstractions and models for grasping and manipulating ideas in software code
6. Practices (as Refactoring, Unit Testing, Continuous Integration) – recurrent activities to keep system solid, healthy and possible to change

There is a big difference between a human-oriented and hardcore object / system – oriented programmer.
A programmer who is specialized to work with computers only is a half of the good programmer. Great solutions require skills for computers andhuman worlds.  Connect both worlds and become a super good programmer!

其中有视频配合解释，很不错。

思想实验是一种精神上的观念或假想，通常和谜语相似，是哲学家和科学家用以了解什么是大众思想的一种简单方法。他们的运用在如哲学和理论物理（理论物理无需做实验）等抽象领域是最为广泛的。他们像是为思想准备的一份大餐，最终给出复杂的答案。即使思想实验本身也会有无法理解的时候，这并不奇怪。下面是10个著名的思想实验，还有他们所要表达的哲学、科学和伦理意义。

10．电车难题（The Trolley Problem）
“电车难题”是伦理学领域最为知名的思想实验之一，其内容大致是：一个疯子把五个无辜的人绑在电车轨道上。一辆失控的电车朝他们驶来，并且片刻后就要碾压到他们。幸运的是，你可以拉一个拉杆，让电车开到另一条轨道上。但是还有一个问题，那个疯子在那另一条轨道上也绑了一个人。考虑以上状况，你应该拉拉杆吗？

解读：
电车难题最早是由哲学家Philippa Foot提出的，用来批判伦理哲学中的主要理论，特别是功利主义。功利主义提出的观点是，大部分道德决策都是根据“为最多的人提供最大的利益”的原则做出的。从一个功利主义者的观点来看，明显的选择应该是拉拉杆，拯救五个人只杀死一个人。但是功利主义的批判者认为，一旦拉了拉杆，你就成为一个不道德行为的同谋——你要为另一条轨道上单独的一个人的死负部分责任。然而，其他人认为，你身处这种状况下就要求你要有所作为，你的不作为将会是同等的不道德。总之，不存在完全的道德行为，这就是重点所在。许多哲学家都用电车难题作为例子来表示现实生活中的状况经常强迫一个人违背他自己的道德准则，并且还存在着没有完全道德做法的情况。

9．空地上的奶牛（The Cow in the field）
认知论领域的一个最重要的思想实验就是“空地上的奶牛”。它描述的是，一个农民担心自己的获奖的奶牛走丢了。这时送奶工到了农场，他告诉农民不要担心，因为他看到那头奶牛在附件的一块空地上。虽然农民很相信送奶工，但他还是亲自看了看，他看到了熟悉的黑白相间的形状并感到很满意。过了一会，送奶工到那块空地上再次确认。那头奶牛确实在那，但它躲在树林里，而且空地上还有一大张黑白相间的纸缠在树上，很明显，农民把这张纸错当成自己的奶牛了。问题是出现了，虽然奶牛一直都在空地上，但农民说自己知道奶牛在空地上时是否正确？

解读：
空地上的奶牛最初是被 Edmund Gettier用来批判主流上作为知识的定义的JTB（justified true belief）理论，即当人们相信一件事时，它就成为了知识；这件事在事实上是真的，并且人们有可以验证的理由相信它。在这个实验中，农民相信奶牛在空地上，且被送奶工的证词和他自己对于空地上的黑白相间物的观察所证实。而且经过送奶工后来的证实，这件事也是真实的。尽管如此，农民并没有真正的知道奶牛在那儿，因为他认为奶牛在那儿的推导是建立在错误的前提上的。Gettier利用这个实验和其他一些例子，解释了将知识定义为JTB的理论需要修正。

8．定时炸弹（The Ticking Time Bomb）
如果你关注近几年的政治时事，或者看过动作电影，那么你对于“定时炸弹”思想实验肯定很熟悉。它要求你想象一个炸弹或其他大规模杀伤性武器藏在你的城市中，并且爆炸的倒计时马上就到零了。在羁押中有一个知情者，他知道炸弹的埋藏点。你是否会使用酷刑来获取情报？

解读：
与电车难题类似，定时炸弹情景也是强迫一个人从两个不道德行径中选择的伦理问题。它一般被用作对那些说在任何情况下都不能使用酷刑的反驳。它也被用作在极端形势下法律——就像美国的严禁虐囚的法律——可以被放在第二位的例子。归功于像《24小时》的电视节目和各种政治辩论，定时炸弹情景已成为最常引用的思想实验之一。今年早些时候，一份英国报纸提出了更为极端的看法。这份报纸提议说，如果那个恐怖分子对酷刑毫无反应，那么当局者是否愿意拷打他的妻子儿女来获取情报。

7．爱因斯坦的光线（Einstein’s Light Beam）
爱因斯坦著名的狭义相对论是受启于他16岁做的思想实验。在他的自传中，爱因斯坦回忆道他当时幻想在宇宙中追寻一道光线。他推理说，如果他能够以光速在光线旁边运动，那么他应该能够看到光线成为“在空间上不断振荡但停滞不前的电磁场”。对于爱因斯坦，这个思想实验证明了对于这个虚拟的观察者，所有的物理定律应该和一个相对于地球静止的观察者观察到的一样。

解读：
事实上，没人确切知道这意味着什么。科学家一直都在争论一个如此简单的思想实验是如此帮助爱因斯坦完成到狭义相对论这如此巨大的飞跃的。在当时，这个实验中的想法与现在已被抛弃的“以太”理论相违背。但他经过了好多年才证明了自己是正确的。

6．特修斯之船（The Ship of Theseus）
最为古老的思想实验之一。最早出自普鲁塔克的记载。它描述的是一艘可以在海上航行几百年的船，归功于不间断的维修和替换部件。只要一块木板腐烂了，它就会被替换掉，以此类推，直到所有的功能部件都不是最开始的那些了。问题是，最终产生的这艘船是否还是原来的那艘特修斯之船，还是一艘完全不同的船？如果不是原来的船，那么在什么时候它不再是原来的船了？哲学家Thomas Hobbes后来对此进来了延伸，如果用特修斯之船上取下来的老部件来重新建造一艘新的船，那么两艘船中哪艘才是真正的特修斯之船？

解读：
对于哲学家，特修斯之船被用来研究身份的本质。特别是讨论一个物体是否仅仅等于其组成部件之和。一个更现代的例子就是一个不断发展的乐队，直到某一阶段乐队成员中没有任何一个原始成员。这个问题可以应用于各个领域。对于企业，在不断并购和更换东家后仍然保持原来的名字。对于人体，人体不间断的进行着新陈代谢和自我修复。这个实验的核心思想在于强迫人们去反思身份仅仅局限在实际物体和现象中这一常识。

5．伽利略的重力实验（Galileo’s Gravity Experiment）

为了反驳亚里士多德的自由落体速度取决于物体的质量的理论，伽利略构造了一个简单的思想实验。根据亚里士多德的说法，如果一个轻的物体和一个重的物体绑在一起然后从塔上丢下来，那么重的物体下落的速度快，两个物体之间的绳子会被拉直。这时轻的物体对重物会产生一个阻力，使得下落速度变慢。但是，从另一方面来看，两个物体绑在一起以后的质量应该比任意一个单独的物体都大，那么整个系统下落的速度应该最快。这个矛盾证明了亚里士多德的理论是错误的。

解读：
这个思想实验帮助证明了一个很重要的理论：无论物体的质量，不考虑阻力的情况下，所有物体自由落体的速率都是一样的。

4．猴子和打字机（Monkeys and Typewriters）
另一个在流行文化中占了很大分量的思想实验是“无限猴子定理”，也叫做“猴子和打字机”实验。定理的内容是，如果无数多的猴子在无数多的打字机上随机打字，并持续无限久的时间，那么在某个时候，它们必然会打出莎士比亚的全部著作。猴子和打字机的设想在20世纪初被法国数学家Emile Borel推广，但其基本思想（无数多的人员和无数多的时间能产生任何/所有东西）可以追溯至亚里士多德。

解读：
简单来说，“猴子和打字机”定理是用来描述无限的本质的最好方法之一。人的大脑很难想象无限的空间和无限的时间，无限猴子定理可以帮助理解这些概念可以达到的宽度。猴子能碰巧写出《哈姆雷特》这看上去似乎是违反直觉，但实际上在数学上是可以证明的。这个定理本身在现实生活中是不可能重现的，但这并没有阻止某些人的尝试：2003年，一家英国动物园的科学家们“试验”了无限猴子定理，他们把一台电脑和一个键盘放进灵长类园区。可惜的是，猴子们并没有打出什么十四行诗。根据研究者，它们只打出了5页几乎完全是字母“s”的纸。

3．中文房间（The Chinese Room）
“中文房间”最早由美国哲学家John Searle于20世纪80年代初提出。这个实验要求你想象一位只说英语的人身处一个房间之中，这间房间除了门上有一个小窗口以外，全部都是封闭的。他随身带着一本写有中文翻译程序的书。房间里还有足够的稿纸、铅笔和橱柜。写着中文的纸片通过小窗口被送入房间中。根据Searle的理论，房间中的人可以使用他的书来翻译这些文字并用中文回复。虽然他完全不会中文，Searle认为通过这个过程，房间里的人可以让任何房间外的人以为他会说流利的中文。

解读：
Searle 创造了“中文房间”思想实验来反驳电脑和其他人工智能能够真正思考的观点。房间里的人不会说中文；他不能够用中文思考。但因为他拥有某些特定的工具，他甚至可以让以中文为母语的人以为他能流利的说中文。根据Searle，电脑就是这样工作的。它们无法真正的理解接收到的信息，但它们可以运行一个程序，处理信息，然后给出一个智能的印象。

2．薛定锷的猫（Schrodinger’s Cat）
薛定锷的猫最早由物理学家薛定锷提出，是量子力学领域中的一个悖论。其内容是：一只猫、一些放射性元素和一瓶毒气一起被封闭在一个盒子里一个小时。在一个小时内，放射性元素衰变的几率为50%。如果衰变，那么一个连接在盖革计数器上的锤子就会被触发，并打碎瓶子，释放毒气，杀死猫。因为这件事会否发生的概率相等，薛定锷认为在盒子被打开前，盒子中的猫被认为是既死又活的。

解读：
简而言之，这个实验的核心思想是因为事件发生时不存在观察者，盒子里的猫同时存在在其所有可能的状态中（既死又活）。薛定锷最早提出这个实验是在回复一篇讨论量子态叠加的文章时。薛定锷的猫同时也说明了量子力学的理论是多么令人无法理解。这个思想实验因其复杂性而臭名昭著，同时也启发了各种各样的解释。其中最奇异的就属 “多重世界”假说，这个假说表示有一只死猫和一只活猫，两只猫存在在不同的宇宙之中，并且永远不会有交集。

1．缸中的大脑（Brain in a Vat）
没有比所谓的“缸中的大脑”假说更有影响力的思想实验了。这个思想实验涵盖了从认知学到哲学到流行文化等各个领域。这个实验的内容是：想象有一个疯狂科学家把你的大脑从你的体内取出，放在某种生命维持液体中。大脑上插着电极，电极连到一台能产生图像和感官信号的电脑上。因为你获取的所有关于这个世界的信息都是通过你的大脑来处理的，这台电脑就有能力模拟你的日常体验。如果这确实可能的话，你要如何来证明你周围的世界是真实的，而不是由一台电脑产生的某种模拟环境？

解读：
如果你觉得这听起来很像《黑客帝国》，那么你说对了。这部电影以及其他一些科幻作品，都是在这个思想实验的影响下创作出来的。这个实验的核心思想是让人们质疑自身经历的本质，并思考作为一个人的真正意义是什么。这个实验的最初原型可以一直追溯至笛卡尔。在他的《Meditations on the First Philosophy》一书中，笛卡尔提出了能否证明他所有的感官体验都是他自己的，而不是由某个“邪恶的魔鬼”产生的这样的疑问。笛卡尔用他的经典名言 “我思故我在”来回答这个问题。不幸的是，“缸中的大脑”实验更为复杂，因为连接着电极的大脑仍然可以思考。这个实验被广泛的讨论著，有许多对于此实验前提的反驳，但仍没有人能有力的回应其核心问题：你究竟如何才能知道什么是真实？