Online Catalog > Book
Check-outs :

哥德爾不完全性定理 /

  • Hit:395
  • Rating:0
  • Review:0
  • Trackback:0
  • Forward:0



  • Bookmark:
轉寄 列印
第1級人氣樹(0)
人氣指樹
  • keepsite
  • Introduction
  • About Author
  • Collection(0)
  • Review(0)
  • Rating(0)

哥德爾不完全性定理
 哥德爾,是德國著名數學家,不完全性定理是他在1931年中發表的一篇重要論文:《論數學原理和有關系統1的形式不可判定命題》中提出來的。

 定理說:在任何包含初等數論的相容的形式系統中,存在著不可判定命題,即命題本身和它的否定在該系統中都不可證。

 這一理論使數學基礎研究發生劃時代的變化,是現代邏輯史上的一座里程碑。
???en_US.webpac.bookDescSource???:金石堂網路書店

Must Login
Must Login
Must Login
Must Login