型別,邏輯與複雜度

根據 Curry-Howard isomorphism,type 跟 logic 是同一回事,然而 descriptive complexity 又把 logic 跟 computational complexity 接在一起 …

所以有三位一體, types = logic = complexity ?

在我以前可是想都沒想過會有這一天 …沒營養的一篇文章 XD

Advertisements

One thought on “型別,邏輯與複雜度

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s