rubo's blog2 2006.6.4~2013.9.3~2023.5.1

這幾天持續關在家裡專心寫東西，
一直在論證的連鎖反應之中，也是覺得有點疲勞。

在這種情形之下，
有時累了就起來開個冰箱、看一下電視。
雖說看電視，
但是腦袋其實還在放空，那些哇啦哇啦的聲音和光影，
根本沒有看進去。
不管怎樣，這種放鬆確實很有效，
畢竟電視本來就是完全不必使用大腦的東西啊。
就這樣，休息夠了就回到電腦前再繼續。

說來也許有點不正常，
累歸累，但我還蠻喜歡這種感覺的。
運用文字展開邏輯運算，尋求證明的公理化結構，
這種過程相當具有快感。
這樣進行到一個程度，
就會覺得彷彿世界的剩下部分都已經消失不見，
只剩下高速運轉的理性伴隨著電腦咻咻的聲音，
真是無比的自由啊。

像這樣的日子真的很平靜。
雖然已經很好，但如果可以再遠離日常生活上的瑣事，
就更好了。
不過沒辦法，再兩週又要開學了。
唉，
為什麼人必須活在世界之中呢。

8月就要結束了！
你能想像嗎？8月就要這樣結束了。