2008/08/24

偉大傳統

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。

Labels:

<< 回到主頁