月黑高飛 2.1

The Shawshank Redemption, 2.1 | 尋找下一步 1.9

這段改編自 2010 年 4 月 3 日的對話。

剛才,我回答你的問題時,提到:

留意,你的「第二工作」,一定要有「永恆價值」,你才可能得到,真正的長久快樂,……

即使那份「第二工作」,「只是」你的「興趣」,如果不會造成 real consequence(長遠後果),你就不會有心機,亦不會提起勁,去不斷發展它,……

所以,如果你打算透過你的「第二工作」,例如編寫手機程式,去賺取外快,你就要保證,它可以達到以下兩項要求。一方面,你的「第二工作」,一定要能夠長久帶來額外收入。另一方面,那些額外收入,必須兼備一個,足夠高的增長速度,令到你有機會在合理的時間之內,例如三年,脫離你現在厭惡的維生正職。

如果你的「第二工作」,可以附帶這個「人生進化」的前景,你的「機會成本評價系統」,就會自動將你的身心,調節到提得起勁,去透過那份「第二工作」,建構你的個人事業。而你對現在「第一工作」的厭惡程度,亦會大大減低,因為,你知道你的「第一工作」,只是你人生中的過客。

當然,到你三年後成功「工作逃獄」,完全從事自己的事業時,你都會有原本的「無限旅程」問題。你腦袋中的「自我虐待系統」,又會出來追問:

So what?

咁又點呢?

那又怎樣?

但是,那時,你已經有一些無懈可擊的答案。

第一,新的工作是你自己選擇,然後逐步建構出來的,所以你一定非常喜歡。那樣,它會為你長久的快樂。

第二,新的工作竟然,可以由三年前的「副業」身份,幻化成現在的正職,證明它可持續發展。換而言之,它本身就內置了,至少一個「無限旅程」。「變成了正職」,從來也不是它的終點。

第三,最重要的是,那時候,你再不只代表你自己。你的身份,除了是「自己」之外,還有是「一間公司」。你考慮自己的人生意義之餘,亦會從公司的角度出發,去不斷尋找「改善世界」的下一步。這就是最重要的「無限旅程」。

— Me@2013.07.17

2013.07.17 Wednesday (c) All rights reserved by ACHK

Godel 9

For example, the statement S = “There exists an a with a*a = 2″ is true in R, but false in Q since the square root of 2 is irrational. Similarly, the statement T = “There exists an a with a*a = -1″ is true in C, but false in R (the imaginary unit i satisfies the statement in C).

[]

Hence, if you believe the Soundness Theorem, we should not expect to be able to prove either S or (not S) from F because there is one model of F in which S is true, and one where S is false. Similarly, we should not expect to be able to prove either T or (not T). Thus, our system F is incomplete, i.e. there are statements X such that we can neither prove X nor (not X).

[]

However, there are [] good reasons why it is incomplete [;] there are statements which can be either true or false depending on which model of F you are currently working.

The Completeness Theorem basically says that this is the only way a system can be incomplete. In other words, the above converse question is true, which implies that we can prove absolutely everything that is not ruled out for the above basic reason.

— Godel’s Completeness Theorem

— Joe Mileti

2013.07.17 Wednesday ACHK