继生's profilefirefire99PhotosBlogLists Tools Help

Blog


    June 08

    可计算与不可判定

    马丁戴维斯论证了彭罗思的论证是错的,却没有论证他的结论是错的
    分歧是明显的,
    正如哥德尔说我们不是蛋白质组成的,
    而图灵说我们之所以万能是因为我们也是通用计算机。
    ----------------------------
    我们为何而活,
    又为何死去?
    如果我们可以被重组,
    那我们的存在是否还有意义。
     
    最后只有寄希望于时空自己,
    来维持我们脆弱的唯一
    June 01

    在开始之前

    到底何时才可以宣称自己是诚实而正直的?
    恐怕要先等到有勇气承认说:对不起,我撒谎了。
     
    到了30岁这个时刻,人生最多还有20年的黄金时间,
    我意识到自己已经不可能再有任何常规意义上的成就,
    30岁已经不允许你再次重头再来,也不允许再准备五年或者十年,把目光瞄准在那些年之后。
    必须着眼于现在,做一些真正让自己感到快乐的事情,才不虚度这20年的每一年。
    才敢安享晚年。