目前日期文章:201107 (2)

瀏覽方式: 標題列表 簡短摘要

因為高斯..高中的我才開始認真讀書 

(詳情請見無厘頭的尋找傳說中的十七芒星 :p)

蘑菇 發表在 痞客邦 留言(0) 人氣()

First incompleteness theorem:

"In a finitary formal system with arithmetic, there is a proposition is true and unprovable."

蘑菇 發表在 痞客邦 留言(0) 人氣()