那么多年了，看到╞符号还是感觉那样美好
╞符号，不知道多少年没见过了。最近跟了coursera上斯坦福在线的几门课，才重新遇到它。
Compiler - Alex Aiken - 10 weeks
Machine Learning - Andrew Ng - 10 weeks
Introduction to Logic - Michael Genesereth - 7 weeks
或许我还是适合研究ComputerScience，总觉得比在早大研究LSI的时候有学习激情。
读到这样一则定理，突然就燃了……
Unsatisfiability Theorem: Δ |= φ if and only if Δ ∪ {¬φ} is unsatisfiable.仔细看了一下源代码，突然有种想哭的感觉。那一年，我用Word 2007替宋公写Gödel定理证明的电子版，多少符号是一个一个从Unicode字符集里面找出来的，就是为了证明一个简单的式子:Δ╞φ => Δ├φ，还切换了无数乱七八糟的字体，才勉强让人看着舒服。人家呢？直接用个|=代替了，甚至没有调整字体，连css也没有。我哭了，觉得自己以前坚持的完美的主义屁用都米有……这么多年，我总是学些P用没有的东西，懂的很杂，结果让我说一个最擅长的技能，一个也说不出来。Proof: Suppose that Δ |= φ. If a truth assignment satisfies Δ, then it must also satisfy φ. But then it cannot satisfy ¬φ. Therefore, Δ ∪ {¬φ} is unsatisfiable. Suppose that Δ∪{¬φ} is unsatisfiable. Then every truth assignment that satisfies Δ must fail to satisfy ¬φ, i.e. it must satisfy φ. Therefore, Δ |= φ.
偶然看到一则微博，没事干分析一下
热门搞笑精选(@lowhaha) 世上最强的三个问题 男：我的第一个问题是，对於我第二个和第三个问题，你可不可以只用‘能’和‘不能’来回答？ 女：可以啊！ 男：我的第二个问题是，如果我的第三个问题是你能不能做我的女朋友，那麽你对於我的第三个问题的答案能不能和第二个问题的答案一样？ 女：&@*#￥%......
其实这个问题和撒谎国问路的问题是一致的，至少写成符号形式是一致的。
命题p: 路实际应左转。
命题q: 指路人说真话。
结果r: 指路人回答yes。
问题s: 所求
给定条件：
p与r的关系:路向左，告诉我yes；路向右，告诉我no。
| p | r |
|---|---|
| 1 | 1 |
| 0 | 0 |
q、r、s的关系：说真话,s与r一致；说假话，s与r不一致。
| q | r | s |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
p与r完全一致，直接替换，得
| q | p | s |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
所以，s应该被问成p<=>q
再来分析前一个，以A和B指代两人：
命题p: B愿做A女朋友。
命题q: B回答第二题答案与第三题一样。
结果r: B回答第三题yes。
问题s: 所求
p与r的关系:愿意，回答第三题yes；不愿意，回答第三题no。
| p | r |
|---|---|
| 1 | 1 |
| 0 | 0 |
q、r、s的关系：第二题与第三题一样,s与r一致；不一样，s与r不一致。
| q | r | s |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
接下来完全一样了，我就不赘述了……