明's profile胡言乱语PhotosBlogListsMore  |  Tools Help |
|
August 30 唬人的学问唬人不是骗人，不违反诚忻，只是在某些地方故意模糊一下，借以吓唬对方。
这方面我认识的人之中尤以阿黄为最。此君用vba解析xml操作autocad，兜了一个好大的圈子，我当然不懂，吓唬阿黄的同事居然奏效。不过既然耗子都说是正解，也就不再追究，连他自己也得意起来，“我是不是很牛啊”。
唬人对于行家自然难以奏效，但对一些心虚的人就绰绰有余了，有时候双方都心虚，这就看谁先吓唬对方了。
比如我不会数学，但说一个歌德尔定理足以吓唬数学系的人；阿黄想用相对论来唬我，虽然本人相对论曾经95，但现在已经忘得差不多了，即使这样，我也不愿意认输，说几个印象中的洛仑兹变换已经能使我立于不败了。
唬人有两招比较有效，一来用牛人来挡，前面说得耗子发话后，阿黄的尾巴就敲得比旗杆还硬就是一个例子。第二个就是玩概念，用专有词汇的堆砌来吓唬人，我不懂相对论，但是时间膨胀，长度收缩，洛仑兹变换足以吓倒中学物理老师。当然像jonnie walker那样的广告唬人水平实在不怎么高明，明眼人一看就知道是偷换概念（飞行员承受5倍G力1分钟，kimi要承受1小时），要我说假如他们要体现jonnie walker 的keep walking, kimi摩纳哥退赛后在海边走啊走啊走，来到了游艇上，打开一瓶jonnie walker（特写），随后字幕打出
jonnie walker
keep walking
旁白：jonnie walker, mclaren车队全球合作伙伴。
PS: kimi 的fans别生气，这是事实，只不过略有加工。 August 28 歌德尔定理貌似数学比我想象的神奇或者说流氓的多，可惜以前没有好好学。 Gödel's incompleteness theorem这个定理可谓是“传说中的定理”，从1年级便有耳闻，却从未一睹其真容，今日终于无意间看见~
下面给一篇英语的modernized
translation的链接。Gödel原始的证明是德文的，which我看不懂，而且使用了他自己的符号。这篇译文用现代更通用的符号来代替1931
年Gödel自己的符号，并且添加了一些注释来帮助读者理解。不过它omit了sections 3 and 4.
（research.ibm.com? 果然是个好地方 :) 最后译者还写了总结，想必是某个研究院读paper写总结的结果）
这是个完整的英语翻译，包括了sections 3 and 4.
Gödel第一不完备性定理：
任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概念，就可以在其中构造在体系中既不能证明也不能否证的命题。
Gödel第二不完备性定理：
任何相容的形式体系不能用于证明它本身的相容性。
Gödel在他的论文中，用构造性的方法证明了这一点（直觉主义数学？）
那篇paper我只看了introduction了解他证明的思路（简单啊~ 有点像停机问题
呵呵），然后粗略浏览了一下他的证明的"implementation"，其中看到了不少学过的概念：Peano公理，Gödel数，原始递归函数等。他
们在这里完整得组合在一起并最终证明了这个“20世纪最重要的定理之一”。而我们学“可计算”这门课的时候至多觉得这些东西很有趣，却没有看到他们最重要的使用，实在可惜。但仔细想来，证明停机问题的思路和最后的意义其实也和这个非常类似（意义方面稍微有所不同吧），所以那门课也算是“功德圆满”了。
这条定理彻底打破了Hilbert的形式主义派的设想，who希望通过形式逻辑的方法，构造一个关于数论的有限公理集合，从而推导出所有的数论原理（完备性），且无矛盾（相容性），并以此出发构造整个形式主义数学体系。上述形式化体系的好处是：其中的定理都可以用机器证明定理。但看来上帝并不允许人类偷这个懒
 不过这也成为很多人认为“计算机不可能超越人脑”的决定性证据（当然，这点还很有争论，毕竟人脑也不能“证明所有数论公理”啊~ 要靠一点“天才”啦，“直觉”啦这类东西，这个电脑倒是未必做不到。）当然，完备的公理化系统还是有的，但不会是“相容的数学形式化系统，并且强到足以在其中定义自然数的概念”，比如欧式几何就可以看作这样的一个系统。
另外贴一篇写这篇blog时参考的一篇中文blog
上面不完备性定理得描述，以及关于“形式逻辑方法”的描述，都来自那里。后面的一些讨论，也或多或少参考了那里。 August 26 代沟人和人之间的差距怎么这么大呢？
cctv5的人永远无法无法理解观众需要什么。所谓有才能的无德，黄某人公开挑衅的确很有激情，或者正好相反，比如f1的那群主持人，政治永远不错，但一场跌宕起伏的匈牙利站讲成那样实在是很不容易。于是全国的车迷一阵声讨，他们仍然故我，或许这就是所谓的代购吧。
还有一些例子：
南京东路广场上正在集会，这个世界包装加炒作就变成商业了。
一些人反复强调ding beat ronnie，他们不知道ronnie 这个名字在台球迷中的地位，丁不过是一个辍学或得成功的例子罢了，我实在看不出他那样的个人修养能打台球，就冲他那句" 我不和国外选手交流。
我妈问我,数字电视是不是就是液晶电视。本人是ee得没错，但实在想不出digital tv有什么通俗的解释，拜托各位帮帮忙了，顺便说一下，我是ee考研群的管理员，交大的ee的确算是不错，如果有人想要资料的话可以和我联系，只不过本人坚决不考研。 August 25 ms suckssomething happens nowadays is really funny. we, classmates from shanghai gezhi middle school, decided to use msn as our group chat tool. but the software, to tell the truth, absolutely terrible. we only got the nickname, but not the email address, which means we cannot contact each other one by one. whats more, the two administrators, who used to be in charge of study, should dont know each other without the appearence of the real name. it never happens in qq, though someone including me say qq is ugly, full of viruses, strange, usually have something to do with sex. so i have to say the functions provided by microsoft is by no means a success. i just hope our respectful microsoft can work harder, give us better, more user-friendly programs, otherwise i will switch to free software. it might be a bit too long and i don't expect anyone complete the article, ps: recently microsoft will be the only manufacturer of the ECO system for F1, with the help of mclaren. if they keep working in the way, it can never catch up with constructors like renault , and my deer fernando alonso will be as unfortunate as kimi these years. August 20 Party小记昨天和我初中的同学在外面聚会，今天早上才回家。尽管累得半死，但老朋友重逢的激动还是很赞的。 K歌难以想象，我最熟悉的人之一居然是一位如此强大的麦霸，他的喉咙本来就是扬声器，加上话筒相当于一个两级的放大，绝的是此君什么都能唱，还都像模像样，只可惜我坐在他旁边实在是一种罪过。晚上居然他又去远在闵行的自由港打下半场。只可惜没有机会灌他几杯，听听他有什么平时没有交代的真心话。吃饭不知是不是前一天刚在闹中取静的星巴克作秀，吴江路的小吃似乎不如传说中那么好吃。那个时候吃什么已经不再重要，10年后的重逢总有说不完的话。我们有幸观看了隔壁桌的兄弟们玩真心话大冒险，当然看戏不是免费的，有时候大冒险还需要我们与输家去完成某种题材的剧本，不过这个绝对值回票价了。夜宵在酒精的作用下，整个聚会达到了高潮。敬酒，干杯的感觉的确不错，但是上吐下泻也不太舒服。因此，本人饮酒还是相当节制的，再说看戏比起自己干能享受更多的乐趣。他们似醉非醉借酒劲说一些胡话还是相当能够娱乐观众的。有的人借着自己胃不舒服来挡酒，的确“会装的人最难搞”，不过后来盛情难却，也都放开喝了。我旁边的那位兄弟号称自己是“不落的太阳”，干了两杯后就有些意识模糊了，接着他用塔罗牌给我算了一卦，不知何故，他直接命中我的心事，这足以令我对他刮目相看。 总的来说，在座的女生相当斯文，男生就有一些animal了，用易中天的话来说是真小人，不过我还是一个君子，不与他们同流合污。 August 14 鸡犬升天这应该是旧闻了，我们格致中学的学妹获得了上海高考理科状元。本来还是挺高兴的，不过通过google上了格致的网站，再看了那一些所谓的学校领导和那位状元的合影，就有些生气了。 那帮人中主要比较刺眼的是那些负责学生纪律的人。真不明白平时穿不穿校服，头发是否剪短，或者去不去网吧和高考成绩有什么关系。怎么每个学校都有一位中年的女教导主任（老罗），更不幸的是，我们学校不止一位。其中的一位会因为我没带政治书大发雷霆，本来觉得它的课还行，再后来就去接受西方的教育了；另一位在我们乘电梯时遇见，一位当时的风云人物当时就面容惨白，余下的只能作鸟兽散。幸好当时我们的钟老师不管这些所谓的纪律，他常常教导我们,不要打牌，否则会互相埋怨；不要踢球，否则会把大厅弄脏，除此也别无其他。现在穿拖鞋踢球的本领，正是那个时候练就的。 上文提到的那些人，这次大概都会鸡犬升天了吧。Mr.Zhong早就作副校长了，大概不会在乎这个，所以在照片中也没有见到，但难怪其他人笑得那么灿烂了。 当然，那位学妹获得状元，还是值得赞扬一番的，毕竟是人家努力的结果。她的班主任，高三时教我语文，不管怎么说还是勤奋工作的好榜样，值得尊敬，但那些平时不怎么出力，却往脸上贴金的人，就应该受到鄙视了。 August 11 历史与经济前天晚上去浦东机场接人，那位老兄人品极差，飞机误点，百无聊赖，饥寒交迫之下，通过短信方式和一些人交流了一下关于圈地运动的看法。不同的人反映各不相同：
我说：圈地运动是历史发展的必然，无所谓正义与邪恶，说什么血淋淋是没有意义的，我们的历史课本在扯淡。
某君A:（此人高中选修历史，比我小两届）“书上是这么说的啊，你看书不认真。”
某君B：（此人目前在微软工作，上网查询不受政府控制）“sigh，那是野史，你也相信。”
课本上究竟怎么说，我懒得去考证。要不是我的中学历史老师是一位说书先生，我对历史不会有什么兴趣。本人以为，历史是由历史人物推动的，历史在发展，人性是不变的。从经济学上说，人的本性在于权衡利弊，做出决策。
我只知道，圈地以前农民朋友们为了各自的利益，多养牲口，无数的家庭在有限的土地上陷入囚徒困境，导致耕地几乎耗尽，民不聊生。此时，任何一个有作为的政府都会试图改变这一情况。尽管这客观上会造成贫富差距拉大，但总体上却实现了经济的进步。以圈地运动来攻击资本主义惨无人道纯粹是骗小孩。事实上，圈地运动持续了100年，是一项漫长的运动，的确体现了“前进性与曲折性的辩证统一”。
中学的历史书有些糟糕的有一些令人发指了，南京大屠杀我们的书只有一行，比printf("hello world\n")还短，要不是拜日本某些人所赐，我们的党也不可能反击，我们也就不可能了解历史的真相。
August 07 ZZ看着以黎冲突不断升温http://mingkanghuang.spaces.live.com/default.aspx?owner=1
阿黄的好文章，和我的观点有点相似，个人以为大家没有信仰是由于我们伟大的党造成的。觉得他们很有意思，至少一些极端分子活得比我有信仰。事实上，我是全然没有什么信仰的。虽然以前也强迫过自己去接受一点什么信仰，但是我发觉我的所作说为与那些都格格不入。上帝，不好意思，我觉得自己生而与一切平等。安拉，不好意思，我可忍不住饿。我佛如来，不好意思，我可不像等来世。共产主义，不好意思，我觉得把既然要共产又何必民主集中那。无政府主义，不好意思，人的欲望总要有东西遏制的。儒家，不好意思，我不可能没有管就成了君子。道家，不好意思，我是个统一主义者（因为好赚钱，我没有统一世界的信仰）.......
其实自己早就意识到了，只不过一直不愿意去直面。因为一直以来都坚信这不过是暂时的，总有一天我会找到一个属于自己的信仰什么的，或是某一天可以很自然的不强迫自己的接受一个别人的信仰。
是啊，一个人最可怕的是没有了信仰。说喜欢钱，这应该不是信仰，有钱就可以活下去这谁都知道，生存不过是人的本能罢了，至于有了很多的钱是为了做什么什么大事.......那其实很明显的，那件大事就是你信仰的折射吧。
有时候有点气氛，为什么我是从小接受了自然科学的教育然后再从历史里真真切切的知道了什么是宗教；如果当初是先稀里糊涂的成了教徒再受到教育的，我至少可以想牛顿一般心安理得的认为上帝或其他的什么是第一推动力。我现在的心理是这么想的，第一推动力是道，道是什么，首先，它不是一个人（神），其次它不是心，他也不是不可认知的虚无，他到底是什么？ 道就是不知道，当然终有一天它之中的一部分会被知道，但是此刻导致这些知道的不知道又成了新的道，或许每天这般深究下去我或许可以找到属于自己的新信仰，或许下定决心不去这样思考也最终可以得到有一个新的信仰，但我不愿意，我觉得这种纵容不知道以等待知道然后再不知道是一种美，至少我可以纵容不知道然后不断地解决不知道以产生新的不知道，总之是不知道的。嗯，既然是不知道，那我怎么去信仰阿？
那问题是我为什么要那么急切的需要信仰呐？是的我需要信仰，很急，比我一直跟人家说的那个的急还急！！他是一个人可以超越理性的理由，不然我终究只能承认自己不过是个跟大家一模一样的人，没有个性，就是我人的继承类，而是每一个人的父类，虽然这是事实。不过，都这样想，社会怎么会向前，虽然向前就是接近毁灭。
但是我需要，一个理想，然我拿起武器，证明渺小得我，可以有信仰，可以为了信仰而战，虽然我现在一定不可能这样去做。所以我要开始构建自己的信仰，抑或是得到某个信仰，希望人类都没有信仰了，世界也就和平了，这样我就可以把没有信仰当作一种信仰了（那为什么还要信仰呐？人性啊，大哥）。 F1匈牙利站这场比赛绝对热闹。先是阿龙索和舒马赫由于某种原因被罚退后起步，然后正式比赛意外下雨。于是好戏上演了。
两个人才两圈就都上到了第3，第4，接着两个人开始大战，阿通过外线硬吃，去年铃鹿130R的精彩超越至今仍然历历在目，想不到这次又是在一个不可能的地方，通过外线实现超越，第一次进站后FA已经上到了第一位。接着那位常常不太走运的Kimi在套圈时发生意外，安全车的出动毁掉了阿龙索的比赛。
感谢另一个西班牙人，der la rosa，在和舒马赫的拼斗中将舒的轮胎磨平，导致他推出比赛。
最后的日本国歌让人有些不爽，我换台去看青出于蓝了。
中央台的解说到了令人发指的地步，就是黄某人（或者是我隔壁寝室的那位黄某）出来乱吼几声，或者随便说说德拉罗萨灵魂附体也比那一男一女罗罗嗦嗦的强。 August 06 易中天签名售书由于Phoebe同学的转告，我得知老先生今天在书城签名售书，否则我就昨天去又远又热人又多的上海展览馆了。老先生这次在书城的活动搞得相当低调，排了半小时的队就拿到签名了。昨天那位凌晨五点就去排队的老伯伯辛苦了。
看起来易中天老先生已经眼冒金星，我实在不好意思多要求什么，只是多买了几本进行捧场。
能让sjtu最优秀的一批本科工程师Fan，想必有其独到之处。
顺便说一下，书可能买多了，想要得兄弟（姐妹也可以）们可以问我要。 August 05 流水账这几天看了不少的书，
Perl：作为编程语言，它实在太美了，几乎能完成任何一件事情。哪位要想养bbs小号的话，可以通过脚本进行控制，不需要手动登陆了，对于那些马夹无数的人，应该是一个好消息。
品三国：易老先生的百家讲坛我一集也没有错过，他的书我半个小时就读完了。老先生对人性的研究对我们这些找工作的人应该是很有帮助的。顺便推荐复旦大学的兄弟姐妹们去看看。同样，这几天还看了纪连海的纪晓岚传。看来我母校的符龙溢老师也可以去试试，不知道他的上海+宁波口音全国人民能否习惯。
昨天拿出了久违的国际象棋，和电脑（确切地说是一个嵌入式设备）下了几盘，每次总是放弃一些小优势，气势汹汹的进攻，最后只得到了一个不太明朗的局面。
我的一位朋友签名档这样说：握着的总是抓不住，想要得却看不清楚。人生如棋，相信这样的困惑还会困扰我很久，有时候，踏踏实实地埋头苦干比所谓的寻找捷径有效的多。
August 02 我看股票最近有一些兄弟在说准备作股票，我很钦佩他们，要知道在中国股市这个变幻莫测的地方散户要想存活可不太容易。三个代表中代表最广大人民的利益可不是说代表广大中小股民的利益。要我说应该作石油，最近黎巴嫩打得很热闹，还说中国联合国观察员被炸身亡，假如伟大的中国共产党也被拖入战争，石油的需求量应该会猛增的，到时候，嘿嘿…… 作股票千万不能盲目跟进，两年前选专业时我还算是财大气粗的，本学院6个专业随便挑。现在信息工程这支股票似乎严重缩水，兄弟们找工作遇到了极大的困难。期待以后的反弹吧。 今天在东依顺吃饭员工之间大打出手，人家新疆同胞真有意思，不开心了就打架，生意也不管了（我是那里唯一的顾客），到有当年康熙和桂公公的风采，那碗泡模的确比学校里的好吃多了。 |
|
|
