官术网_书友最值得收藏!

03 基本數(shù)量關(guān)系

庫爾特·哥德爾

(1906年—1978年)

他是美籍奧地利數(shù)學(xué)家、邏輯學(xué)家和哲學(xué)家,是20世紀(jì)最偉大的邏輯學(xué)家之一,其最杰出的貢獻(xiàn)是提出了哥德爾不完全性定理。他在1931年發(fā)表的論文《〈數(shù)學(xué)原理〉及有關(guān)系統(tǒng)中的形式不可判定命題》是20世紀(jì)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面最重要的文獻(xiàn)之一。

主站蜘蛛池模板: 榆中县| 聂拉木县| 茂名市| 正宁县| 南江县| 攀枝花市| 宜都市| 彩票| 滕州市| 剑河县| 宣化县| 新巴尔虎左旗| 渭南市| 温州市| 江陵县| 潍坊市| 宝应县| 乌审旗| 彭山县| 孝昌县| 宜城市| 湘西| 滁州市| 青阳县| 阜新市| 沽源县| 广元市| 临夏县| 郸城县| 运城市| 绍兴县| 林口县| 宜川县| 和林格尔县| 灵台县| 衡南县| 钟山县| 龙江县| 分宜县| 怀柔区| 麻阳|