我們都知道,在19 世紀末、20 世紀初,數學哲學的發展 極為活躍,數學家與邏輯學家競相致力於為數學建立穩固的 基礎。但這些熱切的活動卻在1931 年受到重挫,因為哥德 爾(K. Gödel)所證出的兩個「不完備定理」確切無疑的申 明任何公設系統如果沒有矛盾,就不可能是完整的,系統中 必定會存在不可證明的命題。
客服管道: +加入LINE 好友 即時聯繫客服 E-mail: service@hyread.com.tw hyweb 凌網科技 版權所有 Hyweb Technology Co., Ltd.© 2018 All Rights Reserved.