j********z 发帖数: 3242 | 1 ☆─────────────────────────────────────☆
shuiguan (guanshui) 于 (Mon Jan 5 01:26:13 2009) 提到:
哥德耳 证明了: "如果数论是自洽的, 那么数论的自洽性是不可以证明的"
☆─────────────────────────────────────☆
jszhb (金嗓子喉宝) 于 (Mon Jan 5 11:39:49 2009) 提到:
哥德尔的结果是说数论在其理论体系内不能证明其自恰性。但是这
不代表在数论之外也不能证明数论的自恰性。前面引用的结果应该
是这种把。当然,这种结果没有最终解决问题,因为后来的那个体
系的自恰性在其自身也无法证明。
哥德尔的结果有其应用范围,比如它只适用与只有有限个公理的体
系。
另外,一个体系如果发现了不自恰,并不代表所有的结果都失去意
义。这个我并不很了解,不过我觉得至少不用反证法的结果是没问
题的吧。
☆─────────────────────────────────────☆
arsablue (真神) 于 (Mon Jan |
|
z********u 发帖数: 536 | 2 谁相稍述彷徨意,
秋晚云寒。
秋晚云寒,
且把疏狂应痛怜。
但听溪水东流去,
花落窗前。
花落窗前。
人静山遥月不言。 |
|
b**********e 发帖数: 345 | 3 094万家灯火
习惯了一个人无拘无束,脑袋顶上突然多了一个师父,是一件很痛苦的事,尤其是这个
师父平时什么事情都没有,只专心盯着你的时候。
江川站在河边,只觉得一阵恶寒扑面,虽然这里的河是梦境中的河流,但是被天隐盯了
数日之后,就算眼前这是一条真河,江川也跳得下去。
天隐是真正的丹疯子,虽然沈白与天隐齐名,但是江川看沈白的手书,或者听他说话时
,从来没感觉到炼丹有多么神圣的地位,但是天隐完全不同,他对于丹药的执着,已经
到瑕疵不容,目下无尘的地步,在他身边炼丹的时候,不允许半分误差——即使只是误
差,而不是差错。
这种说好听是精益求精,说难听就是吹毛求疵的精神,深深笼罩了江川,让江川头疼之
极,几乎梦回当初在药园学艺的时光。不同的是,江川从小就是聪颖勤奋的,学东西极
快又能尽心,即使在药园,孙忘道也几乎没说过他一句不是。然而天隐不但求全责备,
而且眼光极高,他才是真正天赋奇才的人物,以他自身为度量,对于江川的悟性资质,
即便不说看不上眼,却也没放在心上,于是不管三七二十一,按照自己的标准,把江川
狠狠地修剪了一番。再加上天隐虽然说话慢悠悠的,但是舌头之毒,实在是江川生平仅
见,他也不必... 阅读全帖 |
|
b**********e 发帖数: 345 | 4 116酷寒冰海
云兮一怔,道:“什么?”
江川微笑道:“那不是用来因住白蜍的阵法么,既然郁是阵法,我参考一下,或许能够
改进一下,利用起来。”
凌静飞讶道:“你想用阵法?来得及么?”
云兮嘴角一桃,用袖子掩着口,带着几分婀娜的笑了笑,道:“你倒真实敢想,可算是
异想天开。阵法威力当然大,可是这冰海白蜍近在眼前,难道你看不见么?等你布置阵
法,不知道还有没有人活了。”
修真百艺之中,若论威力第一,当算得上阵法,而且对于布阵之人的修为要求也不高,
只要学会了高阶的阵法,只要运用得当,以弱胜强不是梦想。然而阵法也是最被动的技
艺,因为花费的时间巨大,耗费无算,临故对决之时,如果没有事先准备,几子无法发
挥作用,一舰门派驻守,大举进攻的时候有用得上,连猎杀兽怪这种比较需要准备周全
的地方,都很少会用阵法。
更何况阵法一道,是修真百艺之中出了名的艰深繁复,除了专门修习阵道的方家弟子,
一般的修士轻易不会涉猎,比之丹道和器道冷门太多,在场的数十修士,就没有一个精
研阵道,不然的话,刚有以静制动,伏击墨忽律的情况,倒也适用于阵法。
凌静飞目光一转,低声笑道:“江兄涉猎越发广了,阵道竟也精通?”她这句... 阅读全帖 |
|
j*********n 发帖数: 126 | 5 姜白石七绝--辑自<<白石道人诗集>>(四)
三高祠
越国霸来头已白
洛京归后梦犹惊
沉思只羡天随子
蓑笠寒江过一生
过桐庐
横看山色仰看云
十幅风帆不藉人
记取合江江畔树
他年此处好垂纶
登鸟石寺观张魏公刘安成岳武穆留题刘云侍儿意真奉命题记
诸老凋零极可哀
尚留名字压崔嵬
刘郎可是疏文墨
几点胭脂[ 氵于]绿苔
过垂虹
自作新词韵最娇
小红低唱我吹箫
曲终过尽松陵路
回首烟波十四桥
访费山人
稻丛茁茁欲齐肩
杨柳[亻欺][亻欺]不蔽蝉
忽忆石头城下路
槿花斜压钓鱼船
牛渚
牛渚矶边渺渺秋
笛声吹月下中流
西风不识张京兆
画得娥眉如许愁
武康丞宅同朴翁咏牵牛
青花绿叶上疏篱
别有长条竹尾垂
老觉淡妆差有味
满身秋露立多时
朴公悼牵牛甚奇余亦作
不见青青绕竹生
西风篱落抱枯藤
道人一任空花过
愁杀山阴觅句僧
过德清二首--其一
木末谁家缥缈亭
画堂临水更虚明
经过此处无相识
塔下秋云为我生
其二
溪上佳人看客舟
舟中行客思悠悠
烟波渐远桥东去
犹见阑干一点愁
项里苔梅
旧国婆娑几树梅
将军逐鹿未归来
江东父老空相忆
枝上年年长绿苔 |
|
j*********n 发帖数: 126 | 6 姜白石七绝--辑自<<白石道人诗集>>(四)
三高祠
越国霸来头已白
洛京归后梦犹惊
沉思只羡天随子
蓑笠寒江过一生
过桐庐
横看山色仰看云
十幅风帆不藉人
记取合江江畔树
他年此处好垂纶
登鸟石寺观张魏公刘安成岳武穆留题刘云侍儿意真奉命题记
诸老凋零极可哀
尚留名字压崔嵬
刘郎可是疏文墨
几点胭脂[ 氵于]绿苔
过垂虹
自作新词韵最娇
小红低唱我吹箫
曲终过尽松陵路
回首烟波十四桥
访费山人
稻丛茁茁欲齐肩
杨柳[亻欺][亻欺]不蔽蝉
忽忆石头城下路
槿花斜压钓鱼船
牛渚
牛渚矶边渺渺秋
笛声吹月下中流
西风不识张京兆
画得娥眉如许愁
武康丞宅同朴翁咏牵牛
青花绿叶上疏篱
别有长条竹尾垂
老觉淡妆差有味
满身秋露立多时
朴公悼牵牛甚奇余亦作
不见青青绕竹生
西风篱落抱枯藤
道人一任空花过
愁杀山阴觅句僧
过德清二首--其一
木末谁家缥缈亭
画堂临水更虚明
经过此处无相识
塔下秋云为我生
其二
溪上佳人看客舟
舟中行客思悠悠
烟波渐远桥东去
犹见阑干一点愁
项里苔梅
旧国婆娑几树梅
将军逐鹿未归来
江东父老空相忆
枝上年年长绿苔 |
|
r*********5 发帖数: 2183 | 7 丁香细雨结红豆
寂寞无边锁清秋
早也悠悠,晚也悠悠
梧桐落花入海流
漂泊何需弄扁舟
我渐消瘦,我心依旧
曾问相思几时休
未有青鸟落枝头
一壶浊酒,两样离愁
春风不解凡人意
还道送雨化白昼
只愿今晚,月满西楼 |
|
J*Y 发帖数: 169 | 8 “咳~~咳~~咳~~别发愣了,赶紧收拾收拾桌子吃饭哈!”理子从后厨端着个托盘出来,
边吆喝着边往桌上摆凉菜。朱臻像从梦里惊醒,强打起精神,用夸张的动作捻起一片卤
肘子塞嘴里,“理子你尝尝我妈做的卤肉,超好吃!现在经常有预定呢。”
“知道~~知道,刚在后面吃了大半个,今儿的预定被我截胡了。”
“对了,你不急着走吧?喝点儿我妈泡的青木瓜酒,够劲儿。”
“青木瓜酒~~丰胸的吧?我得尝尝。莫非这就是你瘦脸不瘦胸的秘诀?”
“瘦脸不瘦胸,靠的不是秘诀,靠的是本钱。”
理子伸手摸了摸朱臻的小尖下巴,眼里满是怜惜,“瘦差不多得了哈,圆脸变尖脸了都
。守着你妈这个大厨还天天掉肉,砸招牌啊!”
“哪个菜砸招牌了?”朱臻妈和小玲端着面条从后厨出来~~面条有三种:炸酱面、担担
面和红烧牛肉面。朱臻妈不嫌费事,挨样配的齐全。
“阿姨,哪个菜都不砸招牌,就你家这闺女得收拾收拾了,再瘦下去人家该怀疑你手艺
了哈~~”
朱臻妈爱怜地看着闺女,难得好朋友来脸上有个笑模样,到嘴边的埋怨就咽了下去。
小玲去给大家倒酒,回来笑着说:“托管群里的那些人知道臻姐姐今天生日,要求晚上
吃面条不吃饺子了~~”
“什么托管群?为啥今... 阅读全帖 |
|
f******t 发帖数: 2664 | 9 那不叫小说,叫自传,顶多是自传体小说。不玩票儿的都不会局限于自己。 |
|
g***y 发帖数: 16371 | 10 问题是这里至少有80%的人不是专业写作的,都是玩票儿的。。。 |
|
J*Y 发帖数: 169 | 11 我有个同事。多少年和老婆生不出孩子。什么办法都试了。后来决定领养。领养也要一
两年的时间。等他们拿到领养女儿的照片的那一天,老婆从医院检查回来,也怀孕了。
现在是一儿一女。公司里的人全都感慨,"when it rains, it pours". |
|
m******n 发帖数: 6673 | 12 我们家不是一从开始就养狗的,家里有第一条狗,还是在我们搬到舅舅所在的
那个小村子以后。那个村子不大,说在长白山的深山老林中也不为过,村子只有北边无
山,其他三面都是山,再走不远,就是原始森林了。虽然偏僻,但民风很好,从来没有
什么偷盗事件,更不用说比较恶性的案件了。村人都没有什么追求,外出打工的都很少
,春种秋收,然后在长长的冬天里,静静地享受生活。
但村里家家养狗,而且很少一只。要说是防贼,还真不是,家家的栅栏都很矮
,尤其那些石头垒的,就是一个孩子都能轻易地上下。养狗与其说是看家护院,还不如
说是养了个通灵的宠物。上山干活时,带着狗,也不会感到寂寞,,也安全的多,虽然
山里已经没有了老虎等猛兽,狼之类的还是有可能遇到的。
我们刚搬过去的时候,因为买的房子要收拾,就先住在舅舅家里。舅舅家里有
两条狗,一青一黑,是小哥俩,根据颜色分别叫大青子和小黑子。两条狗一开始就对我
们很亲,特别是大青子,在我们搬走后,就一直跟我们到了新家。即使我们再去舅舅家
,它也是等在门口,从不进屋。舅舅本来想把那条黑狗送给我们,看到这样,只好罢了
,于是我们家就... 阅读全帖 |
|
r****y 发帖数: 26819 | 13 【甲戌本回目标题为: 薛宝钗小恙梨香院 贾宝玉大闹绛云轩】
【蒙:幻情浓处故多嗔,岂独颦儿爱妒人。莫把心思劳展转,百年事业 非真。】
【甲戌题曰:古鼎新烹凤髓香,那堪翠斝贮琼浆。莫道绮縠无风韵,试看金娃对玉
郎。】
话说凤姐和宝玉回家,见过众人。宝玉先便回明贾母秦钟要上家塾之事,自己也有
了个伴读的朋友,正好发奋,【甲戌侧批:未必。】又着实的称赞秦钟的人品行事,最
使人怜爱。凤姐又在一旁帮着说“过日他还来拜老祖宗”等语,说的贾母喜欢起来。【
甲戌侧批:止此便十成了,不必繁文再表,故妙。偷渡金针法。】凤姐又趁势请贾母后
日过去看戏。贾母虽年老,却极有兴头。【甲戌侧批:为贾母写传。】至后日,又有尤
氏来请,遂携了王夫人、林黛玉,宝玉等过去看戏。至晌午,贾母便回来歇息了。【甲
戌双行夹批:叙事有法,若只管写看戏,便是一无见世面之暴发贫婆矣。写“随便”二
字,兴高则往,兴败则回,方是世代封君正传。且“高兴”二字,又可生出多少文章来
。】王夫人本是好清净的,【甲戌双行夹批:偏与邢夫人相犯,然却是各有各传。】见
贾母回来也就回来了。然后凤姐坐了首席,尽欢至晚无话。【甲戌侧批:细甚,交代毕
。】
却 |
|
a*****y 发帖数: 33185 | 14 论上帝及其存在
现在我要闭上眼睛,堵上耳朵,脱离开我的一切感官,我甚至要把一切物体性的东
西的影象都从我的思维里排除出去,或者至少(因为那是不大可能的)我要把它们看做
是假的;这样一来,由于我仅仅和我自己打交道,仅仅考虑我的内部,我要试着一点点
地进一步认识我自己,对我自己进一步亲热起来。我是一个在思维的东西,这就是说,
我是一个在怀疑,在肯定,在否定,知道的很少,不知道的很多,在爱、在恨、在愿意、
在不愿意、也在想象、在感觉的东西。因为,就像我刚才说过的那样,即使我所感觉和
想像的东西也许决不是在我以外、在它们自己以内的,然而我确实知道我称之为感觉和
想象的这种思维方式,就其仅仅是思维方式来说,一定是存在和出现在我心里的。而且
我刚才说得虽然不多,可是我认为已经把我真正知道的东西,或至少是我直到现在觉得
我知道了的东西,全部都说出来了。
现在我要更准确地考虑一下是否在我心里也许就没有我还没有感觉的其他认识①。
我确实知道了我是一个在思维的东西;但是我不是因此也就知道了我需要具备什么,才
能使我确实知道什么事情吗?在这个初步的认识里,只有我认识的一个清楚、明白的知
觉②... 阅读全帖 |
|
a*****y 发帖数: 33185 | 15 论真理和错误
这几天我已经习惯于从感官里把我的精神摆脱出来,我又正好看出关于物体性的东
西有很少是我们认识得准确的,关于人的精神有更多的东西是我们认识的,关于上帝本
身我们认识的还要更多,这样,我现在把我的思维从考虑可感觉或可想像的东西上转到
考虑完全脱离物质、纯粹精神的东西上去就毫无困难了。
关于人的精神,既然它是一个在思维的东西,一个没有长宽厚的广延性、没有一点
物体性的东西,那么我的这个观念当然比任何物体性的东西的观念都要无比地清楚。而
且当我考虑到我怀疑,也就是说我是一个不完全的、依存于别人的东西的时候,在我心
里就十分清楚明白地出现一个完全的、不依存于别人的存在体的观念,也就是上帝的观
念;单就这个观念之存在于我心里,或者具有这个观念的我是存在的,我就得出上帝是
存在的而我的存在在我的生命的每一时刻都完全依存于他这样的结论,这个结论是如此
地明显,以致我不认为有什么能比这件事更明确、更可靠地为人的精神所认识的了。因
此我觉得我已经发现了一条道路,顺着这条道路我们就能从深思真实的上帝(在上帝里
边包含着科学和智慧的全部宝藏)走到认识宇宙间的其他事物。
因... 阅读全帖 |
|
a*****y 发帖数: 33185 | 16 论物质性东西的存在;论人的灵魂和肉体之间的实在区别
现在给我剩下来的问题只有检查一下看看是否有物质的东西了。不错,就人们之把
物质的东西看成是几何学论证的对象来说,既然我用这种方式把它们领会得十分清楚、
分明,那么至少我已经知道这样的东西是能够有的。因为毫无疑问,凡是我能够领会得
清楚、分明的东西,上帝都有能力产生出来,而且我从来没有断定过他对于什么东西由
于①我不能很好地领会就做不出来。再说,在我心里的想象功能(我从经验中看到,当
我考虑到物质的东西时我就使用这个功能)是能够让我相信物质的东西存在的。因为当
我仔细考虑什么是想象时,我看出它不过是认识功能对向它直接呈现的物体的某种运用,
因而这个物体是存在的。
①法文第二版:“仅仅由于”。
为了把这一点弄得非常明白,我首先看出想象和纯粹智力活动或构思之间的区别。
举例来说,当我想一个三角形时,我不仅领会到这是一个由三条线组成并且包含三条线
①的形状,而且除此之外,由于我的精神力量和精神内部的活动,我也把这三条线看成
是出现在面前的,而这正是我所说的想像。如果我要想一个千边形,我当然领会这是一
个由一千个边组成的形... 阅读全帖 |
|
a*****y 发帖数: 33185 | 17 先生们:
我读了你们对我关于第一哲学的小论文所提出的意见后感到很满意。因为这些意见
使我认识到你们对我的好意,你们对上帝的虔诚和你们为了增强上帝的光荣所采取的关
心。
我不能不感到高兴的是,不仅你们判断了我的理由值得你们的检查,而且你们没有
提出什么反对这些理由的东西,对此我觉得我能够回答得相当轻松一些。
第一点,你们提醒我回想一下我把物体的观念或虚影抛弃掉了以便结论出我是一个
在思维着的东西,怕的是也许我认为由此而得出结论说我不过是一个在思维着的东西。
这并不是老实的、真诚的,而仅仅是一种精神的虚构。可是我已经在我的第二个沉思里
指出过我已经想得够多了,因为我在那个地方使用了这样的话:可是,也有可能发生由
于我不认识而假定不存在的那些东西,事实上同我所认识的我并没有什么不同。我一点
也不知道,关于这一点,我现在不去讨论,等等。通过这几句话,我想要特别告诉读者
们的是,在这个地方我还没去追查灵魂是否和肉体不同,我仅仅是检查灵魂的哪些特性
是我能够有一种清楚、可靠的认识。虽然我在那里指出许多特性,我不能无分别地接受
你们接着说的话:我却不知道一个在思维着的东西是什... 阅读全帖 |
|
a*****y 发帖数: 33185 | 18 神学博士阿尔诺①先生作
阿尔诺先生致麦尔赛纳神父的信
尊敬的神父:
承你好意把笛卡尔先生的《沉思集》转交给我让我阅读,我十分感激。不过由于你
知道它的价值,所以你就索取了很高的代价,因为如果我不首先答应向你奉告我阅读后
的感想,你就不肯允许我享有一读这本杰作的快乐。假如不是见识一下这样好东西的这
种欲望是这样强烈,对于这个条件我是不接受的,我是由于这种可赞扬的好奇心所驱使,
才落得如此天地;假使我认为有可能很容易得到你的宽免,我宁可要求免除这个条件,
就象从前古罗马执政官对那些在逼供之下答应的事予以宽免。
①阿尔诺(Antoine Arnauld,1612—1694),法国哲学家、神学家。
因为,你要我干什么?我关于著者的判断吗?决不是;你很久以前就知道我对他本
人的评价多么高,对他的智慧和他的学识是多么敬佩。对于现在使我脱不开身的事务你
也不是不知道;假如你对我的评价高过我所应得的程度,这也不等于说我对我的浅薄的
才能没有一点认识。虽然如此,你交给我去检查的东西要求一种非常高的能力和很多的
宁静与闲暇,以便精神一旦摆脱了世俗事务,所思维的只是它自己;你自... 阅读全帖 |
|
a*****y 发帖数: 33185 | 19 著者致麦尔赛纳神父的信
尊敬的神父:
我很难找到一个比你给我寄来批评意见的那个人更明智、更能助人为乐的人来对我
的著作做检查了,因为他对待我是那么温文尔雅,以致我看得很清楚他的计划并不是反
对我,也不是反对我所从事的事业。虽然如此,在检查他攻击的东西上,他是那么细心,
以致我有理由相信他什么都没有漏掉。除此而外,他非常激烈地反对他所不能同意的东
西,使我没有理由害怕人们会认为这种客气姿态掩盖了什么东西。
这就是为什么我对他的反驳并不那么难受,而是看到他没有在我的著作中的更多的
东西上提出反对意见而感到高兴。
①法文第二版的标题是:“著者对第四组反驳的答辩”。
对第一部分的答辩
关于人类精神的性质
我在这里将不停下来去感谢他在用圣奥古斯丁的权威来支持我这件事上给我的援助,
感谢他在陈述我的理由上用这样的方式,即他好象怕其他人们感到这些理由还不坚强、
有说服力。
但是,我将首先说在什么地方我开始证明怎么,从我不认识任何别的东西属于我的
本质(也就是说,我的精神的本质),除非我是一个在思维着的东西这件事,得出这样
的结果,即也没有任何其他的东西事... 阅读全帖 |
|
a*****y 发帖数: 33185 | 20 在《沉思集》第一版②出版之前,我曾想把它拿给索尔朋纳③的圣师们和肯于费心
一读的其他学者们去检查,希望把这些反驳和我的答辩印出来做为我的《沉思集》的继
续,每一组都按照〔收到〕它们的次序排列,这样我将会使真理更加彰明。而且,虽然
给我寄来的、在次序上排列第五的那些反驳对我来说并不是最重要的,并且篇幅也嫌过
长,我还是把它们按照应有的位置印出来了,本以为这样才不致有拂它们的作者之意,
而且我还让人把印刷的校样拿给他看,唯恐有什么地方不满他的意。但是从那以后他又
写了一本巨作④,包括他第五组反驳以及对我的答辩的几条新的反驳,并且在那里埋怨
我不该把他对我的反驳公之于世,好象我这样做是违反了他的意愿似的,并且说他之所
以把那些反驳送给我只是为我个人看的,因此我将很高兴满足他的愿望,在这本书里不
出现他的反驳。这就是为什么,知道了克莱尔色列先生不厌其烦地翻译其他反驳时,我
请求他取消第五组反驳的原故。为了让读者们对于缺少这些反驳不至感到失望起见,我
不得不在这里奉告他们,我最近又把这些反驳重新阅读一遍,同时我也把这本厚书里所
包含的全部新的反对论点阅读一遍,目的是从这里抽出我认为需要加以答辩的... 阅读全帖 |
|
|