2009/01/24

題目

賽局 paper 報一報,我就找到我的專題題目了 XD。目前大概得多看兩篇 papers 才能繼續往下。

另一方面繼續讀 Martin-Löf 的 lecture notes,之後或許再看 Nordström et al. 的《Programming in Martin-Löf's Type Theory》。從來沒真的看過 wellorderings、transfinite induction、或 ordinal numbers,看了幾句解釋,突然覺得和 accessibility 有關係?

--
神祕的東西 XD。

Labels:

Anonymous scm1/26/2009 5:03 am 說:

有的有的,相當有關係的呀~

 

<< 回到主頁