反叛的科學家

  • u930338 u930338 分享了劃線。
    哥德爾定理即是：包括普通算術規則在內的任何數學形式化，都存在有具有意義但無法證明是否為真的算術陳述
    ──摘自《 反叛的科學家 》
    回應

    請先登入會員，才可回應。

    登入 / 註冊
反叛的科學家
想讀

個人

瀏覽

網站導覽

會員中心