注冊(cè)會(huì)計(jì)師
報(bào)考指南考試報(bào)名準(zhǔn)考證打印成績(jī)查詢考試題庫(kù)

重置密碼成功

請(qǐng)謹(jǐn)慎保管和記憶你的密碼,以免泄露和丟失

注冊(cè)成功

請(qǐng)謹(jǐn)慎保管和記憶你的密碼,以免泄露和丟失

哥頓法是什么?

幫考網(wǎng)校2020-08-04 11:58:32
|
哥頓法(G?del's incompleteness theorems)是由奧地利邏輯學(xué)家?guī)鞝柼亍じ绲聽栍?931年提出的兩個(gè)定理,它們表明在任何形式系統(tǒng)中,都無(wú)法證明其自身的一些命題,或者說(shuō)這些命題是不可判定的。這個(gè)定理對(duì)于數(shù)學(xué)和邏輯學(xué)的基礎(chǔ)產(chǎn)生了深遠(yuǎn)的影響,也揭示了形式系統(tǒng)的局限性。
幫考網(wǎng)校
|

推薦視頻

推薦文章

推薦問(wèn)答

九龙县| 奉贤区| 红原县| 景宁| 茌平县| 东平县| 平陆县| 朝阳县| 乌拉特后旗| 青田县| 江源县| 清水县| 景谷| 福安市| 泽普县| 松滋市| 铁力市| 嵊泗县| 融水| 石楼县| 双辽市| 太仆寺旗| 临夏县| 竹山县| 扶沟县| 桦川县| 新竹县| 雅江县| 呼玛县| 安陆市| 电白县| 防城港市| 多伦县| 平乡县| 辽宁省| 菏泽市| 阿图什市| 怀安县| 贺兰县| 营口市| 迁安市|