logic

Oct
30
接受構造主義數學的五個階段

接受構造主義數學的五個階段

構造主義是數學哲學的一個流派,強調要證明某數學物件存在,必須能提供找到它的方法,或解釋如何構造它。
3 min read
Oct
18
讀書筆記:《數學巨人哥德爾》

讀書筆記:《數學巨人哥德爾》

《數學巨人哥德爾——關於邏輯的故事》,作者:John L. Casti & Werner DePauli 著,林志懋譯。
3 min read
Aug
29
讀書筆記︰Alfred Tarski: Life and Logic

讀書筆記︰Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic, by Anita Burdman Feferman & Solomon Feferman.
12 min read