第455章 巴拿赫不動點定理

  哥德爾對於所謂的所有東西都可以被計算這樣的問題詞嗤之以鼻。


  對於策梅洛的ZF公理，總會有問題存在，不可能對於數學計算是完備的。


  “誰也不能證明他們的功力係統，即是完備的，又是可靠的。”


  哥德爾認為這可以打敗任何一個自稱可以自圓其說的理論係統。


  “對於任意可靠的公理和推理規則係統S，必存在正確的數論結論不能在S中被證明。”哥德爾證明這個震驚世界的理論。


  對於聰明的科學家和數學家，就明白自己隻能無限接近真理而無法到達真理。


  隻有倔強的愛鑽牛角尖的人才覺得自己可以統一宇宙。


  關於高斯-博內-陳定理


  平麵上任一三角形的三內角之和恒等於π，對於一般曲麵上由三條測地線構成的三角形，其內角和等於π加上高斯曲率K在此三角形所圍曲麵上的積分.