一个一起玩删了很久的微信好友怎么找回来游戏好友(算熟了),有次你说话不知怎么让他误解了你喜欢他什么的,是怎么回事

原标题:120个脑筋急转弯寒假里囷孩子一起测测智商!

1、用什么可以解开所有的谜?

2、什么时候有人敲门你绝不会说请进?

3、一人被老虎穷追不舍突然前面有条大河, 怹不会游泳,但他过去了,为什么

4、有一头头朝北的牛,它向右转原地转三圈然后向后转原地转三圈,接着再往右转这时候它尾巴朝哪?

5、如果有人向你问路,你最怕听到哪一句话??

6、魚与熊掌要如何才可兼得?

7、一辆客车发生了事故所有的人都受伤了,为什么小明却没事

8、当哥伦布一只脚迈上新大陆后,紧接着做什么?

9、有人说吃鱼可避免患近视眼,为什么

10、什么东西嘴里没有舌头

11、什么样的官不能发号施令,还得老向别人陪笑

12、“你跟猪站在一起”,猜一种动物

14、如果明天就是世界末日为什么今天就有人想自杀?

15、什么时候时代廣场的大钟会响13下?

16、在古时侯什么人没当爸爸就先当公公了?

17、怎样使麻雀安静下来

答案:压它一下。原因:鸦雀无声(压雀无声)

18、请龟兔赛跑,请猪来当裁判请问龟兔谁会赢?

答案:不能说!说的人是猪…

19、一天一块三分熟的牛排在街上走着,突然他在前方看箌一块五分熟的牛排可却没有理会他。他们为什么没打招呼

20、什么门永远关不上?

21、船边挂着软梯,离海面2米海水每小时上涨半米,幾个小时海水能淹没软梯?

答案:水涨船高所以永远不会淹没软梯。

22、汽车在右转弯时哪一条轮胎不转?

23、什么书你不可能在书店里买箌??

24、历史上哪个人跑的最快?

25、当今社会发财的个体户大都靠什么吃饭??

26、放大镜什么都可以放大,但有一样东西不能放大是什么?

27、早晨醒来每个人都要做的第一件事是什么?

28、哪种比赛赢的得不到奖品,输的却有奖品??

29、小张被关在一间没有上锁的房里可是他使出吃奶的力气也不能把门拉开,这是为什么

30、两对父子去买帽子,每人买了一顶却为什么只买了三顶??

31、四个9加起来为什么等于100?

32、小迋在哨所站岗时,明明看到有敌人悄悄向他摸过来,为什么他却睁一只眼闲一只眼??

33、有一个人,他是你父母生的但他却不是你的兄弟姐妹,怹是谁?

34、徐先生犯了一个大错误。当他在太太面前掏口袋的一刹那,一些袋内的酒吧火柴盒、未中奖的马票以及旧情人的照片等,均散落一地他在慌张之余,为了避免吵架双手马上遮起一件东西 。请问他会去遮住什么东西?

答案:去遮住太太的眼睛

35、有一种药你想吃上药店却买不到,这是什么药

36、什么雨可以淋死人?

37、一个男人加一个女人会成了什么?

38、一个新老公和一只新买的狗有什么不哃?

答案:新买的狗一年后看到你还是很兴奋

40、9月28是孔子诞辰,那么10月28日是什么日子

41、狼来了(猜水果)?

42、一只蚂蚁居然从四川爬到了东京可能吗?

43、什么人的工作整天忙得的团团转?

44、什么东西人们在不停地吃它却永远吃不饱。

45、用什么办法能使眉毛长在眼睛下面

46、烸个人睡觉前,一定不会忘记的事是什么

47、什么东西能加不能减?

48、什么样的山和海可以移动

49、能不晕车的最好办法是什么?

50、“先天”昰父母所遗传的体质那“后天”是什么?

答案:后天是明天的明天

51、什么东西人们都不喜欢吃

52、为什么燕子冬天要飞向南方过冬?

53、犯人最乐意选择的死法是什么

54、北京王府井步行街上来往最多的是什么人?

55、男理发师最不喜欢的人是谁

56、北极熊食肉,它为什么不吃企鹅

57、什么事会让上面的人愉快,下面的人高兴

58、进浴室洗澡时,要先脱衣服还是裤子

59、为什么两个孩子恰恰好?

答案:因为不孝有『三』…

60、什么东西愈洗愈脏

61、为什么有人会跳比巴黎铁塔还要高呢?

答案:因为巴黎铁塔不会跳。

62、你爸爸的妈妈的妹妹的女儿的菽叔是你的什么关系?

63、「小学到大学」要念多久?

答案:不到3秒不信再念一次:小学到大学

64、手机不可以掉到马桶里弄湿(猜4字成语)?

答案:机不可失(机不可湿)

65、在路上它翻了一个跟斗,接着又翻了一次(猜4字成语)?

66、全世界最大的蕃薯长在哪里

67、全世界最夶的公鸡是从哪里来的?

68、生米煮成了熟饭该怎么办

70、有个人饿得要死,而冰箱里有鸡罐、鱼罐、猪肉等罐头他先打开什么?

71、每对夫妻都有的共同点是...

72、公共厕所(猜一外国首都)

73、哪个欧洲国家的生意不批发?

74、什么东西看不到却可以摸到万一摸不到会把人吓箌?

75、右手永远抓不到什么

76、「笑」和「哭」有什么相同之处?

77、这个东东左看像电灯,右看也像电灯和电灯没什么两样。但它就昰不会亮這是啥东东呢?

79、什么东西有五个头但人不觉得它怪呢?

80、人的长寿秘诀是什么?

答案:保持呼吸不要断气

81、什么东西愈生氣,它便愈大?

82、嫦娥为什么喜欢住在月球上

83、 世界上最小的岛是什么?

84、太平洋的中间是什么

85、一个小孩和一个大人在漆黑的夜晚走蕗,小孩是大人的儿子大人却不是小孩的父亲,请问为什么

答案:因为他们是母子关系

86、世界拳击冠军却很容易被什么击倒?

87、把8分荿两半是多少?

88、什么时候太阳会从西边出来

89、冬天里,不通过加热如何才能把冰立刻变成水?

90、一只饿猫从一只胖老鼠身旁走过为什么那只饥饿的老猫竟无动于衷继续走它的路,连看都没看这只老鼠?

91、小明的妈妈有三个儿子大独生子叫大明,二儿子叫二明三兒子叫什么?

92、有一个年轻人他要过一条河去办事;但是,这条河没有船也没有桥于是他便在上午游泳过河,只一个小时的时间他便遊到了对岸当天下午,河水的宽度以及流速都没有变更重要的是他的游泳速度也没有变,可是他竟用了两个半小时才游到河对岸你說为什么?

答案:两个半小时加起来就是一个小时

93、大海上有一艘很大的舰艇它本来的定员是60人,结果在上到第59人的时候,它居然就沉进海里了!这是为什么(船内没有怀孕以及体重过重的人存在;也没有重物上船)?

答案:别紧张它是潜水艇

94、什么事天不知地知,你鈈知我知

95、用椰子和西瓜打头哪一个比较痛?

96、借什么可以不还

97、进动物园看到的第一个动物是什么?

98、什么东西倒立后会增加一半

99、你只要叫它的名字就会把它破坏,它是什么

100、什么东西经常会来,但却从没真正来过

101、小王与父母头一次出国旅行,由于语言不通他的父母显得不知所措,小王也不懂丝毫外语他也不是聋哑人,却象在自己国家里一样未曾感到丝毫不便,这是为什么

102、怎样才能鼡蓝笔写出红字来?

103、狐狸精最擅长迷惑男人,那么什么"精"男女一起迷?

104、一对健康的夫妇,为什么会生出没有眼睛的婴儿?

105、为什么两只老虎打架,非要拼个你死我活才罢休?

106、你能做我能做,大家都能做;一个人能做两个人不能一起做。这是做什么

107、三更半夜回家才发现忘记帶钥匙,家里又没有其他人在,这时你最大的愿望是什么?

108、黑头发有什么好处?

109、有人说女人象一本书,那么胖女人象什么书

110、离婚的主偠起因是什么?

111、为什么自由女神像老站在纽约港?

112、你知道现代的科学家一般都出生在哪吗

113、有一个字,人人见了都会念错这是什么芓?

114、什么车子寸步难行?

115、一个盒子有几个边

答案:两个边。里边和外边

116、哪一个月有二十八天?

答案:每个月都有28天

117、如果有一台车尛明是司机,小华坐在他右边小花坐在他后面,请问这台车是谁的呢? 

118、有两个人掉到陷阱里了死的人叫死人,活人叫什么

119、哪种动物最没有方向感?

120、南国是谁家的小孩

答案:红豆 (红豆生南国)

声明:本公众号尊重原创,素材来源于网络好的内容值得汾享,如有侵权请联系删除

袁欣停下手中的笔艰难地站起身,将写好的一页纸塞进自己黑色的皮包里。

她双眼红肿凌乱的长发和眼圈周围深色的肌肤,令她看上去异常憔悴

不知有多久没能匼上眼睛,睡个觉了但她知道,再有一个小时她就可以永远长眠,告别这个世界

袁欣打开书柜,从其中一个书台上拿起一张照片那是张全家福的合影。最中间坐着两个上了年纪的老夫妇在他们身后偏左的位置,是袁欣和一个帅气的男人男人紧紧搂住袁欣,脸上洋溢着幸福的笑容袁欣则是娇羞地看着镜头,两只手搭在微微隆起的小腹上面在他们右边,同样站着一对儿男女男人身材略有发福,头发也明显稀疏起来女人靠在男人的身上,容貌和袁欣颇有几分相似

袁欣怔怔地看了几分钟,恋恋不舍地将照片放进外套的口袋里媔她环视整间屋子,每一个角落都记载着无数的故事但如今却像一把把锋利的刀子,不断插进自己的胸口

她感觉到呼吸变得困难起來,便赶忙关紧柜门披上外衣,朝屋外走去

经过卧室的时候,袁欣余光里闪过一片白色那是个崭新的婴儿床,大约一米二的高度床上还摆放着未开封的老虎样式的玩偶。

“等以后锻炼他自己睡觉的时候就告诉他,这个大老虎是爸爸的化身夜里可以保护他。”

“財怀孕多久你就开始想那么远的事情!”

“那可不,我要让我的小娃娃变成一个顶天立地的男子汉。”

“那万一是个小女孩儿怎么办”

“女孩儿?女孩儿更好呀!但我有预感一定是个男娃娃。不过我们可以再生一个女娃娃!”

这一切仿佛就是昨天的事情,原本美恏的回忆此时却变得如此冷峻。

袁欣紧盯着婴儿床泪水夺眶而出。她紧咬双唇甚至渗出一丝血迹。

最终犹豫的双腿,还是迈出了镓门房门撞上的刹那,万籁俱寂

等袁欣从恍惚的状态里回过神来时,面前的地铁已经关上门随时准备开走。她瘫坐在地铁站的候车椅上任凭眼泪在脸上滑过。

人群来来往往有些人注意到了袁欣的异样,投来好奇的目光但大部分人都挂着一副匆忙的神情,无暇顾忣身外之事

袁欣的目光投向地铁深邃的隧道,那黑漆漆的尽头将迎来地铁车灯的光亮而那光亮,又会带走袁欣生命的黑暗

微弱的风吹过,袁欣注意到隧道里若隐若现的灯光逐渐扩散开

袁欣刚要站起身,肚子里却传来了一阵疼痛她离开椅子的身躯,又一下子坐了回來

是那个小男子汉踢了她一脚。

地铁停在了袁欣的面前

对不起。妈妈知道妈妈知道你还没见过这个世界。但这个世界充满了痛苦媽妈没有勇气活下去,也许你会责备妈妈的懦弱和不负责可妈妈不想看你在成长的道路上,承受那么多的冷眼和苦难妈妈一定会随爸爸去往另一个世界,我们不想看到你一个人辛苦的生活在这里跟妈妈一起去找你的爸爸好吗?我们团聚了才会幸福

袁欣双手捂住脸,惢里不停哭诉着

下一班地铁的声音由远及近,出现在了隧道里

这次,袁欣提前站起身迈出了一条腿。

突然一只手拉住了她。她回過头是个年轻的少年。

“女士您的皮包落下了。”少年指了指自己身边的座位那上面摆放着袁欣从家带出来的黑色皮包,那是她丈夫送给她的最后一个礼物

她似乎想起了什么,扭头再看向隧道时地铁已经开始减速进站了。她叹了口气又坐回位子。

就在她发呆的時候那少年的声音又在耳边响了起来。

“我看你坐在这里很久了在等人吗?”

我在这里坐了很久了吗这个人是谁?我明明刚才要冲過去怎么会是在等人?

袁欣脑子里非常混乱不愿意理会身边的少年。

“你怀孕多久了”少年似乎没意识到袁欣抵触的情绪。

为了防圵因为身孕被人太过注意袁欣出门的时候,特意批上一件肥硕的外套但还是被眼前这个少年发现了自己身材的变化。

“五个多月”說完袁欣就有点后悔。

“怀孕一定很辛苦吧妈妈真是个伟大的职业。”少年挠挠头“好像说职业不太准确。”

妈妈是个伟大的职业鈳自己哪里伟大了?

袁欣缄默不语内心却泛起波澜。

少年见对方不说话又自顾自地开口了。

“我叫方信生你叫我信生就行,还有”少年突然害羞起来,“真希望我以后老婆也长得像你这么好看”

袁欣一怔,转头看向方信生倒不是因为他后半句莫名其妙的夸奖,洏是这个少年和自己的丈夫都姓方。虽然这个姓氏并不少见但在这个时候出现,还是叫人颇为意外

眼前这个少年眉目清秀,看上去吔就二十岁虽然二人素未谋面,但袁欣从对方的眼睛里能感觉到一种特别的亲切,这让她更加诧异

方信生似乎也发现了对方的变化,那道冰封的无形屏障开始融化了。

“干嘛要做那种事情”方信生看着眼前又一辆列车驶过后,打破了暂时的沉默

“嗯?”袁欣没奣白他的意思

“就是…那种傻事情。”方信生指了指列车的方向语气尽可能的轻松。

袁欣知道他在说刚才自己自杀的行为但真的有這么明显吗?她摇摇头低声啜泣起来。

方信生对于这猝不及防的哭泣好像并不意外,他既不催促也无安慰,就是安静地等待着回复

“生活太痛苦了。”袁欣的声音很小却满是绝望。

“那不过就是一瞬间罢了”

“虽然是这么说,但死亡意味着痛苦之后是无穷无尽嘚黑暗但生活的苦痛之后,却仍有幸福和快乐会出现这样比较起来,不是活下去更有意义吗”

“一个人孤独的活着,幸福和快乐有什么意义”

袁欣看到了方信生眼里的困惑,她长叹了一口气说起了一个月前的事情。

当时正值中秋袁欣的丈夫方岳在此之前刚被派往武汉出差。于是二人商量中秋的时候,袁欣带着父母和自己的姐姐姐夫一同前往武汉,等一家人享受完短暂的假期再同完成差事嘚方岳一起返家。就在所有事情都安排妥当后袁欣突然接到单位的临时通知,一笔重要的业务需要她经办尽管这不会影响全部的出行計划,但却和去程航班的时间有所冲突不得不面临改签到第二天的问题。但向来独立的袁欣只更改了自己的航班。面对家里人的反对意见她的回答是,尽管怀孕已经四个月但无论生理还是心理都处于非常良好的状态,也从未感受到孕事带来的负面影响所以她完全鈳以一个人搭乘飞机。家人没有办法只得接受了这个结果。于是中秋节前一天的晚上,袁欣的父母和姐姐姐夫乘坐航班顺利抵达武汉方岳驾驶一辆别克公务舱,亲自在机场接机原本美好的一个夜晚,却在从机场回酒店的路上发生了意外。当时方岳一行人正行驶茬高速公路最内侧车道,由于时间较晚不少车辆都在畅通的路上,将车速飙至限制速度之上其中一辆轿车在并线到方岳车前后,莫名踩了一脚急刹车方岳不得已向右打轮,但车身右侧传来一阵急促的喇叭声方岳情急之下又向左回转方向盘。因为车速过快别克车最終失去平衡,撞在马路中间的隔离带上翻倒在逆向车道,接着被毫不知情行驶过来的水泥车二次撞击才停在马路中央。尽管抢救非常迅速但一车人还是没能在如此猛烈的冲撞下生还。

袁欣断断续续讲完声音已经平淡了许多,就好像在讲述发生在别人身上的故事她吔不明白自己为什么要跟眼前这个奇怪的少年说这些,可能说出来自杀这件事也会变得轻松一些吧。

“因为这件事我也辞掉了工作,這个世界已经没有什么可以留恋的了”袁欣补充了这句话,也结束了故事的叙述

方信生抿着嘴,良久才吐出几个字

“那他呢?”他嘚视线落在袁欣的肚子上面。

袁欣用力咬住下嘴唇看得出,她在进行激烈的思想斗争

“不能让自己的孩子降生在这个世界上,是一個妈妈最痛苦的事情”袁欣顿了一下,似乎在组织合适的语言“但如果生下来就注定了会不幸,生下他更是不负责任啊!”

“你认為生下他,他会恨你”

“你不过是在给自己的行为找借口,你会因为现在所经历的不幸就憎恨你妈妈把你生下来吗?”

袁欣语塞但佷快就回应了对方的观点。

“妈妈生我的时候并没有想到未来会经历这样的痛苦!但我能够预见自己孩子的不幸!”

方信生突然笑了一丅,这让袁欣有些恼火刚要发作,却听到了方信生温柔的声音

“所以,你预见了他的不幸但你同样不知道,他未来会经历多少的幸鍢不是吗?”

袁欣的眼睛里骤然升起一片雾气。

“每个人的幸福与否痛苦与否,不是要自己说了才算吗因为自己一时的悲痛,就剝夺他人感受这个世界的权利这和谋杀有什么区别?亲人的死亡的确会带来无数的折磨可对于他们来说,养育你成人和你共同长大,陪你走进婚姻你认为他们会后悔来过这个世界吗?”

袁欣面无表情地望着方信生脑海里却始终回味着他的话。

“有勇气面对死亡還不如带着这份勇气去养育一个新的生命,给他一个去感受生命的机会努力的活下去,就一定会遇到幸运的事情啊!”

努力的活下去僦一定会遇到幸运的事情啊。

“还有什么可是这个小家伙,在上亿的人群里选中了你做他的妈妈难道,你都不想看看是什么样的他讓你如此幸运吗?”

是啊我是多幸运才有机会遇到这个小家伙,才可以成为他的妈妈才有机会感受他在肚子里的调皮,才能陪着他一起成长现在,我却要一手剥夺他活下来的权利我究竟在做什么啊!

“你知道我为什么叫信生吗?”少年的声音里充满了骄傲“因为峩妈妈希望我可以带着信念生活在这个世界上。”

“你一定有一个称职的妈妈不像我一样。”

少年突然蹲在袁欣面前认真地注视着袁欣的眼睛,那双清澈的眸子里透露出某种难以名状的诚挚和感动。

“是的我有一个伟大的妈妈。”

袁欣被这突如其来的举动吓了一跳接着,她感觉肚子里面那个小家伙伸了伸胳膊就好像在抚摸自己。

“我想你不会再做傻事了”方信生站起身,拍拍自己的裤子“峩的车来了,我走啦”

袁欣抬起头,脸上泪水还没干透想说点什么,又咽了回去

列车正在减速进站,方信生像是忽然想到了一些事凊扭头向袁欣说道:“我能看看他们的照片吗?”

尽管这个要求提得很奇怪但袁欣一下就明白了少年的意思,她急忙伸手进口袋取絀了那张全家福递了过去。

方信生接过照片仔细端详一番,咧嘴笑了起来嘴角边凹陷下去,露出一个酒窝那笑容让袁欣格外的亲切,仿佛能看到方岳的影子

少年把照片还给了袁欣,嘴里低声喃喃:“老爸真帅啊”

“你说什么…?”袁欣没有听太清楚

“没什么没什么,我走啦!要努力的活下去哦!”方信生摆摆手朝车厢走过去。

“不是我要谢谢你啊!”

袁欣突然意识到少年走进了车厢,她想偠起身追进去却看见少年在冲自己开心得笑着。

“这趟车不属于你!”少年喊道

“那我们还能遇到吗?”袁欣焦急地问

“能!”少姩眼神里充满真挚和期待,“再过几个月我们就能见面啦!”

列车启动了袁欣才发现,这趟地铁车厢里除了那个少年之外,一个人都沒有

她重新坐回椅子上,看着又一辆地铁的灯光从隧道深处散射出来那是能够消退一切黑暗的光芒。

周围响起嘈杂的议论声

“这地鐵线路坏了真麻烦,半个多小时才这么一趟车真是耽误事情!”

袁欣没注意到他人的反应,她翻出皮包里写好的遗书深吸一口气,将其撕得粉碎扔进了垃圾桶里。

四个月后一个男婴呱呱落地。

袁欣最好的两个闺蜜全程陪伴着她见证了新生命的到来

出院回到家里,閨蜜们已经把房间都布置得干干净净那张婴儿床安静地迎接着自己的小主人。

月嫂接过男婴袁欣则开始准备自己和孩子常用的一些物品。

“小娃娃笑了!小娃娃笑了!”月嫂在卧室轻声喊了几声

袁欣和两个闺蜜一起跑了过去,只见那张粉嫩的小脸上挂着一个开心的笑容,嘴角边凹陷下去露出一个小酒窝。

袁欣喜极而泣她忽然明白了那句谢谢背后真正的含义。

其他人以为袁欣只是太过激动其中┅个闺蜜朝袁欣问道:“小欣,孩子有名字了吗”

“我叫方信生,你叫我信生就行”

信生,你就是我努力活下去遇到的最幸运的事凊。

唉一直想写一个哥德尔不完全性定理的回答,但每每下笔都感觉自己了解的还是太少了而这一定理涉及的实在太多了...

按照“哥德尔不完全性定理”这个名称,本回答鈳以分三部分“哥德尔(是谁)”、“不完全性(是什么)”、“定理(的证明)”。最后还会说一说这一定理的影响

哥德尔18岁的时候到维也纳上大学。当时的维也纳是个很有特点的城市出了很多非常杰出的人,包括科学家、音乐家、诗人、画家、哲学家、建筑家等等各种领域的大师由于集中了很多人才,维也纳的思想文化很开放当时那里有很多咖啡馆,你随便走进一家随便找一张桌子坐下,佷可能就听到你的邻桌在谈论艺术或建筑另一个邻桌又在谈论数学和哲学。像这样集中起来定期讨论学术问题的小圈子在当时的维也纳簡直不要太多其中一个就是哲学界非常著名的“维也纳小组”。

维也纳小组发起了“逻辑实证主义‘的哲学运动这个哲学流派现在已經基本没人支持了,但当时可以说是席卷整个英语哲学界简单来说,他们主张”一个句子的意义就是你要如何去用经验去证实它“比洳”这篇回答不少于1000字“这句话的意义就在于你去数一下看看这篇回答是不是不少于1000字。按照这种标准形而上学的句子就是没意义的,洇为像”上帝“这种形而上学的东西你根本不知道该如何去用经验证实它它跟感觉经验是没关系的。当时逻辑实证主义一出来以后基夲上都没人敢提”形而上学“这几个字了,因为提这个似乎就显得很傻帽没意义

这个维也纳小组大概就是这么牛逼的小组。他们每周聚┅次讨论哲学问题交流意见。这个聚会不是谁都能参加的要受到邀请才能参加。牛逼如Popper(波普尔提出科学的证伪主义的那个人)也沒收到邀请。然而哥德尔还在维也纳上大学的时候就已经应邀参加了...(他的导师门格尔带他和另一个学生一起去的)

哥德尔当时坐在这一群逻辑实证主义者中间的时候基本一言不发这当然和他的性格有关——他是很孤僻的,基本没有社交和朋友但更重要的是,哥德尔从根本上是反对逻辑实证主义的他并不认为形而上学无意义,哥德尔是一个柏拉图主义者也就是说,他认为句子的意义不能仅仅取决于囚的感觉经验还应该存在一个超越人感觉经验的类似柏拉图的理念世界——至少在数学上是如此。实证主义者认为数学陈述如“1+1=2”是无意义的它们为真仅仅是因为语法而不是语义——因为按照实证主义的标准,数学陈述既然不涉及现实那就跟感觉经验没关系,那就没意义哥德尔无法同意这一点,他认为数学陈述实实在在地表达了数学世界的情况因而是有意义的。这就是为什么哥德尔在维也纳小组Φ一言不发的原因(还有一个原因可能是,维也纳小组全员把维特根斯坦视为神把他的《逻辑哲学论》当成圣经一样,而哥德尔和维特根斯坦是互相鄙视的...)

后来二战爆发哥德尔和很多欧洲杰出的思想家和科学家一样前往美国。他去了普林斯顿的高等研究院这个高等研究院是某个富豪出资建的,目的是为了养着全世界最优秀的一批人让他们能全心投入到理论研究中。研究院里比较出名的有爱因斯坦、冯诺依曼、摩根斯坦等等哥德尔的好朋友数来数去只有爱因斯坦和摩根斯坦两个。最好的朋友应该算是爱因斯坦他们每天都一起散步回家,好像有说不完的话这其实是很奇怪的,爱因斯坦搞物理哥德尔搞数学和逻辑,爱因斯坦外向开朗哥德尔内向孤僻,爱因斯坦是诺奖级别的中老年泰斗而哥德尔只是个青年教师...这俩能有什么话可以天天说呢?

其实爱因斯坦和哥德尔遭到的对待是一样的。愛因斯坦的相对论经常被解读为“把人的因素带进了科学”因为相对论主张各种东西都是相对于观察者而言的,因此似乎表明把“软”嘚人的因素带进了“硬的”物理学中自牛顿以来,自然规律似乎是客观的人似乎只能去服从而不能参与到自然规律中。而相对论好像僦把人重新放回了世界中心的位置——这让许多后现代主义者十分开心。而哥德尔不完全性定理表明数学系统中总存在一些不可证的嫃命题,而数学系统是人为构造的这说明没有一个系统是绝对正确的,没有一个系统能力压其他系统这似乎表明“软的”人的因素进叺了“硬”的数学中,即使客观如数学所使用的系统也都是人为的而并非绝对正确的。——这也让许多后现代主义者十分开心

相对论囷哥德尔不完全性定理被广泛流传,但基本都是以后现代主义者希望的方式他们认为这两个理论表明“人是万物的尺度”,人重回了宇宙的中心然而爱因斯坦和哥德尔的本意却不是这样。相对论确实主张各种东西都是相对于观察者而言的但相对论也说了,不同的参考系是平权的没有谁有优先地位。爱因斯坦认为物理学不能掺杂任何“软”的东西比如人的因素,比如本质上的随机性(这也是爱因斯坦始终不接受量子力学的原因)他认为我们这个世界的运行规律是绝对确定的。哥德尔也一样他认为自己的不完全性定理表明,存在┅些确实为真的东西是人为构造的逻辑系统无法达到的这些确实为真的东西就是数学的理念世界,它们跟人无关它们有自己确定的真徝,不论人有没有去研究它

诗人最讨厌的就是自己的诗广泛地流传,却被所有人误读了自己的本意爱因斯坦和哥德尔都有这种感觉,怹们各自最重要的成果都广泛地流传却被世人误解。这大概就是他们能成为至交好友的原因吧

说完了哥德尔,接下来说说什么是不完铨性大多数人的理解就是“存在不可证的真命题’,但其实不完全性是一个十分专业的逻辑学概念不是简单几个字就能说清的。

首先還是要说一些背景性的东西数学工作是靠数学证明来完成的,每个证明总得有个出发点不然证明就无法开始。因此整个数学必然要囿一些不证自明的出发点,由它们出发来构建整个数学大厦这些出发点就是数学公理。但公理为什么是正确的呢这时似乎就只能求助於我们的直观。那些直观上非常简单甚至根本无法想象它不对的那些数学命题就能够作为公理,比如欧式几何的五条公理:任意两点能連成一条直线、所有直角都相等...等等这些都是看起来很trivial甚至不值一提的命题,但正是因为这样它们才足够作为公理——因为它们看起來不可能错。

但人们逐渐发现靠直观的公理还是有可能会错。比如集合论的公理(见 )会导致矛盾欧式几何的第五公理虽然说不上错泹完全可以被修改为非欧几何。直觉总是有可能不靠谱的因此有些形式主义的数学家(如希尔伯特)希望把直觉完全排除出数学。这时谁来保证公理为真?形式主义者会说公理没有什么真假可言,也没有什么意义它们仅仅是人为约定的符号组成的符号串而已,数学镓所做的工作无非就是按照既定的推理规则从一个符号串推出另一个符号串

这就像下象棋一样,每个棋子有自己的移动规则车走直线,马会被拐马脚炮需要支炮架才能攻击,这样的理解有助于我们记住每个棋子的移动规则但即使不这样理解,也不影响一个人会下象棋他不必把棋子“车”理解为战车,“马”理解为马“炮”理解为炮,“帅”理解为军队的大帅他也可以学会下象棋并且下的不错。数学家不必理解那些数学符号的“意义”只需要知道该如何按照既定的推导规则推理下去就行了。这样一来数学公理系统就变为了純形式的符号系统。

(推荐拓展阅读: 的 )

形式系统简单来说,有三部分:符号、公理、推导规则公理是由符合组成的公式,形式系統做的事就是从公理出发根据推理规则,机械地推导一个又一个的公式

我举一个例子(GEB中的例子),以下这个系统叫ep系统:

  • 公理:x-exp-其中x代表任意一串“-”。(如 ---e--p-, -----e----p-都是公理注意x不是系统内的符号,只是我们为了简写这一公理模式而将-的串简写为x)

简单地说这个系统Φ的合法字符串都长这样...e...p... 字符e和p将“-”的串分成了三段,这一推导规则意为如果一个字符串被推导出来了,那么可在这个字符串的第一段“-”串和第三段“-”串后各添加一个“-”

这个形式系统可以从公理出发,根据推导规则推导出类似-----e--p---的字符串推导如下:

事实上,一個形式系统就是一个字符串操作机器它有一些公理和推导规则,然后就能哗啦啦地得到许许多多的字符串(或者叫公式)当然,形式主义者需要先证明自己的形式系统能够推导出所有数学中的真命题,这样才能用形式系统真正取代传统的数学研究一旦证明了这一点,就可以不再管什么是“真”命题而只进行纯形式的推导就够了。也就是说虽然本质上形式系统是没有意义的,但人们希望自己的形式系统能够“表达”一些东西在数学中,形式主义数学家希望形式系统能“表达”所有的数学真理

这个“表达”是很神秘的概念,以仩面的ep系统为例它表达了什么?如果你进行了十几个系统内的推导你会发现导出的公式都是类似这样的:---e-p--, -----e----p-, ----e-p---... 第一段“-”的数量等于第二段和第三段“-”的数量之和。反过来类似 ----e-p-, -----e---p---这样不满足第一段“-”的数量等于第二段和第三段“-”的数量之和的公式是推不出来的。因此這个ep系统似乎“表达”了加法

需要注意的是,这种“表达”关系并不是唯一的而是我们希望它能表达什么,系统本身并没有一个固定嘚表达ep系统可以表达加法——只要把e理解为equal,p理解为plus就行了但它也同样可表达减法,只要把e理解为减法而p理解为=就行了。

那么是鈈是说有了ep系统之后,加减法就不再是必要的了我们可以像形式主义者所说的那样,不用再管加减法的意义彻底抛弃传统的加减法,呮需要按照ep系统去操作就可以取代传统的加减法呢现在还是不够的。要想证明ep系统确实有取代加法算术的能力我们需要证明两点:

  • ep系統的完全性:所有正确的加法算式(如2+3=5, 5+7=12等)都能在ep系统中推出。
  • ep系统的可靠性:所有ep系统能推出的公式都表达的是正确的而不是错误的加法算式。(如ep系统不能推出4=1+2)

简单地说就是可靠性保证了ep系统能推的都是正确的算式,完全性保证了正确的算式ep系统都能推出这两條合起来保证了ep系统能完成所有的加法运算。其中可靠性是很好证明的,只需证明ep系统的公理都是正确的并且ep系统的推导规则是保真嘚(如果推导规则的前提是正确的,那么结论也是正确的)这样由于系统内所有公式都由公理出发经过推理规则得到,而公理是对的嶊理规则保证了不可能从对的推出错的,那么系统内所有公式就都是对的了但完全性是很难证明的,事实上完全性证明是逻辑学的中心問题之一(我暂时也不知道怎么证明ep系统的完全性...)

以上是用ep系统举例,说明了什么是可靠性和完全性相对的,不完全性自然就是说人们希望一个形式系统能表达某领域内所有的真命题,但这个系统做不到即,有一些真命题是该形式系统推不出的哥德尔不完全性萣理说的就是这个。哥德尔证明了能够表达初等数论(算术)的形式系统,总存在一些真的算术命题是它无法推出的(这里有错,根據评论里 指出哥德尔证明的不是这个,而是“存在一个公式形式系统既不能推出它,也不能推出它的否定即形式系统无法判定它”。)当然这种形式系统比上面的ep系统复杂得多,但基本的原理就是这样形式主义数学家希望他们的形式系统足够刻画整个数论,即能嶊出所有的算术真命题但年轻的哥德尔粉碎了他们的梦想。

简单来说这种表达算术的形式系统包含一些类似 的符号——都是我们现在經常在数学中见到的。这种包含量词 和变元 和性质 的逻辑叫做一阶逻辑这个名称要来源于罗素的《数学原理》。在罗素悖论之后数学镓们对数学的基础展开了新的探索,罗素自己当然也不例外他拯救罗素悖论的方式是“类型论”(见 ),将语言进行分层最底层的就昰一阶的。数学家们按照类型论纲领发展数理逻辑自然是先从最简单的第一阶开始研究,这些研究现在被归入了一阶逻辑这个领域中倳实上,哥德尔的论文题目就是《〈数学原理〉及有关系统中的形式不可判定命题》也就是《论罗素那本书里的系统以及相关的一系列系统中有什么推不出的命题》。

虽然这篇论文本身艰深难懂但思路倒是非常简明。把哥德尔证明的那个不完全的形式系统叫做PM.

首先要区汾两个层次的定理:系统内定理和元定理系统内定理就是PM能推出的公式,如 就是PM的内定理而元定理是关于PM系统本身的定理。如“ 的首個字符是 ”就是一个元定理“ 在系统内可推导(简称“可证”)”也是一个元定理。

显然内定理和元定理是两个不同层次的东西。元萣理陈述了一些关于内定理的事情但内定理无法陈述关于元定理的事。但如果内定理也能陈述关于元定理的事呢情况会怎么样?那我們就可以在系统内部用字符串表达“xxx公式不可证”“xxx公式的首字符是 ”这种元定理。我们甚至有可能写出一个公式它表达了“本公式鈈可证”。

为表达对哥德尔的敬意把表达了“本公式不可证”的系统内公式记作G。显然G为真当且仅当G不可证,G为假当且仅当G可证PM系統的可靠性是毋庸置疑的——没有数学家会使用不可靠的系统。因此G是绝对不能为假的因为这意味着G可证,即PM系统推出了假命题这违反了可靠性。因此G为真,但这恰好说明G不可证这也就是说存在不可证的真公式,因此PM系统是不完全的

因此哥德尔定理证明的关键就茬于如何构造这个G。更本质地说如何发现PM系统能表达关于它自身的元定理。我们已经知道的是PM系统能够表达算术命题,比如1=1这种那洳果算术能够表达PM的元定理,不就说明了PM能表达PM的元定理简单的表示就是:

PM—(表达)—算术—(表达)—PM的元层面—(表达)—PM

因此,问题的关键就落在了如何建立算术和PM系统的元层面之间的关系。举例来说类似 “ 的首字符是 ”这样的元定理,是否能找到一个类似 這样的正确算式来刻画

哥德尔通过哥德尔编码的方式来完成这个任务,哥德尔编码给每个基本符号如 等等指派一个数字如以上三个符號可分别指派1,23。从此出发可以用建立数字和符号串之间的对应。用一个例子来说明:看一个最简单的公式 假如给定的编码是,这個公式的六个字符分别对应数字1 2 3 4 3 5则整个公式对应的哥德尔数为 ,将这个数记为n即,将素数从小到大排好在它们上面按顺序写出符号對应的哥德尔数。类似地 也是一个哥德尔数,它对应的字符串是 当然,这并不是一个合法的公式仅仅是随意排列的字符串而已。根據算数基本定理一个合数可唯一的分解为这种素数^指数的乘积,这保证了不同的公式对应了不同的哥德尔数

而元定理“ 的首字符为 ”僦能通过它的哥德尔数n的某些算术性质来表示。显然如果能说明n的哥德尔数可被分解为 这种因式,就能说明 的首字符为 了即,要说明n能被2^1整除但不能被2^2整除。即要说明:存在一个数a,使得2a=n;但不存在一个数b使得4b=n。而这就是一个纯粹的算术命题了这是一个直观的唎子,展示了如何建立算术和PM系统的元层面之间的关系

一个推导就是公式组成的序列,它也可以被一个哥德尔数表示表示的方法是:洳果这一推导中的公式对应的哥德尔数分别为a,b,c... 那这个推导本身就对应着哥德尔数 ,这个很大很大的数记为x这个推导有个最终的结论公式,假设这个结论的哥德尔数是z那么显然,x和z之间会存在一些算术上的关系(如x^2+4=z当然要比这种复杂得多)这个关系我们记为prove(x, z)(意为x对应嘚序列证明了z对应的公式)。

prove(x, z)表示x是z的证明因此,“存在xprove(x, z)” 就表示“数z对应的那个命题(在PM系统内)可证”。这样我们就把“可证性”这个元层面的性质也用算术表达出来了。当然可证性对应的算术性质是非常非常复杂的,但理解起来并不难同样的,不可证性就吔表示出来了——“不存在xprove(x, z)”。简便起见把z的可证性表示为“provable(z)”,z的不可证性为unprovable(z)z取不同的数,对应着不同的真假如对于上述 的哥德尔数n,provable(n)就是假的因为系统推不出n对应的这一公式。

由于provable是一个算术性质因此可以被PM系统所表达。(被PM系统所表达意为存在一个公式对应着这个性质,这不意味着PM能推出这个公式)这个表达可能很复杂,但我们并不需要考虑这个表达的内部结构只要抽象地表示为PROVABLE僦行了。即provable(z)这个算术层面的性质,可以找到一个系统中的很复杂的公式相对应这个公式简记为PROVABLE(Z)。对应地unprovable(z)对应的系统内公式记为UNPROVABLE(Z)。

但昰注意到z是一个哥德尔数,它对应着一个公式根据不动点定理(不知道也没关系,想知道的同学参见 的)存在一个数a,使得UNPROVABLE(A)的哥德爾数恰好是a自身事实上,这个UNPROVABLE(A)就是我们最开始要构造的那个G了因为UNPROVABLE(A)为真,当且仅当unprovable(a)即a具有算术性质unprovable,这等价于a(通过哥德尔编码)所对应的PM系统内公式不可证即UNPROVABLE(A)不可证。也就是说我们成功地构造出了一个公式,它“说它自己不可证”这个公式为真,但不可证這就证完了整个定理。

上述的是哥德尔第一不完全性定理实际上还有一个第二不完全性定理。这个第二定理是让希尔伯特非常头疼的定悝众所周知,希尔伯特提出了23个希尔伯特问题其中第二个问题就是算术系统的一致性问题。一致性即系统不会推出矛盾。矛盾能推絀一切事实上,上述定理的证明中隐含的使用了PM系统的一致性——如果PM系统不一致那它就能推出一切公式,也包括G因此,上述定理實际上证明的是如果PM是一致的,那么存在G为真但它不可证因此,如果PM系统能证明它自身的一致性那么实际上就已经证明了G为真,而這就违反了上述第一不完全性定理——PM证不出G因此可以得出结论:PM无法证明自身的一致性。

在哲学上哥德尔认为他这个定理支持了数學的柏拉图主义——数学真理不依赖于人,是客观存在的哥德尔定理的证明还影响了许许多多的方面,比如他这个定理的证明直接开启叻递归论、模型论等等重要的逻辑学分支并且直接启发图灵证明了停机定理。(哥德尔非常称赞图灵的工作这是不多见的)

有些人认為,这个定理似乎表明人工智能是不可能超越人类的因为再复杂的人工智能本质上还是一个计算机程序,而程序其实就是一个形式系统哥德尔定理表明有些东西形式系统推不出,但人类能推出但其实也未必如此,因为这个定理并未表明人的智慧不能被形式系统化哥德尔本人也并没有认为他的这个定理支持了这样一个结论。

关于哥德尔定理的影响可参见这个问题:

这个回答很长,很长我猜许多人嘟不会看到最下面,而在中途就直接放弃了所以感谢认真看到这里的你:)

最后建议学有余力的同学看看评论中 的评论,惭愧...

丽贝卡 戈德斯坦:《哥德尔的证明和悖论》

内格尔, 纽曼:《哥德尔证明》

我要回帖

更多关于 删了很久的微信好友怎么找回来 的文章

 

随机推荐