偉大傳統

看 Dana Scott 的 Wikipedia entry 和他的 Turing award lecture。先前已經知道他是 denotational semantics 的創始人之一，但不知道他竟然橫跨 CS、哲學、數學三個領域！（如果告訴我 Stoy 那本書其實是 Scott 寫的我也不會太驚訝 XD。）Nondeterminism 這個極端重要且基礎的概念是他和 Michael Rabin 最先提出的！然後他的師父竟然是 Alonzo Church！這很自然地讓我覺得自己傳承的是 scm 老師在一次 meeting 講的「偉大傳統」XD。

--
接下來和鏡中世界奮戰 ─ 重讀一下 Agda mailing list 上面的討論好了 XD。