2010/01/26

直構邏輯

記得 Max 說過 intuitionistic logic 和直覺沒什麼關係,比較接近 constructive 的意思。欸,那中文譯作「直構邏輯」如何?我不知道那個「直」字該不該留下來,或是該換成什麼字…

--
馬上看得出的問題是容易聯想到「直購」XD。


想到可以來惡補一下 SEP: Intuitionism in the Philosophy of Mathematics XD。

Labels:

Blogger XOO2/04/2010 4:14 pm 說:

Intuitionistic logic is sometimes called constructive logic, so this name might be easy to translate to Chinese.

 

<< 回到主頁