Tagebuch 161;2016 chinesisch

http://www.gaertner-servatius.de/highlights/sinnfrage/4-4.php

4.4。題外話：哥德爾不完備性定理

 

Am 18. Oktober 2016

 

  1.不完備性：在任何正式的系統中有一個公式，是不可證明的。
簡單來說：有陳述，不可證明的。
2.不完備：正式系統的一致性不能在系統內被證實。
簡單來說，一個系統無法證明自己。
 
哥德爾1906-1978
www.wikipedia.org
這些短語是指正規的系統。基於公理的形式系統。公理是鹼性條件，使感我們直觀，無需加以證明。例如，這個公理：恰好有一個接班人，這也是一個自然數的每一個自然數。所以只能跟隨3。4這聽上去也許微不足道，但正如公理的必須。至於微不足道，我們必須假設他們是真正的無需證明。數學的一個正式的系統可以湊合著用三到五個公理。這樣的公理可以定義的字符以嚴格的邏輯證明的定理有關。直覺應該做的沒有這個證據。那麼，我們應該問確鑿的證據和程序不直觀或情感。但是，這是我們都已經在年初完成了！我們發現公理直觀！我們的主觀性是開頭，不是客觀論證的普遍性。即使在由這種考慮沒有客觀性數學那裡。
哥德爾的“不完全”是一種獨特的尊敬對人類心靈的創造力！從哲學的，是沒有任何人類知識的極限。我們不局限於公理，定理或邏輯。哥德爾是天才和瘋狂之間的人。他經常壓抑和偏執遭遇。他的妻子才總是狼吞虎咽，因為他要被毒死的恐懼。當她死了，他死於飢餓，因為他相信矛盾正在食物中毒。
（閱讀更多：R.戈爾茨坦哥德爾派出版社。）
考慮悖論：
悖論讓我們不要混淆，他們是生活的一部分，他們在精神和物質層面的，當然。我們認為真理是什麼，有時是不一致的。每個人都在同一時間在世界上最重要的事情，在宇宙中的灰塵微乎其微斑點。任何人都可以愛他的生活，而無畏地接受死亡。這同樣適用於二分法。科學悖論，我們已經知道了量子物理學。這裡是電子波或微粒，雙方真實。沒有絕對，但“既和”和相對論。
是我們無能為力的哥德爾證明的句子？不，邏輯的陽痿！不是陽痿的男人！
最使我確信自己的考慮：
邏輯是什麼天然的，或者至少是我們的思維沒有根本性質。
因為夢是很少的邏輯！他們直接或未經過濾來自我們的潛意識，我們最深切的來源。讓我們來看看另外一個邏輯構成的機器到計算機，它可以操作合乎邏輯的。我們的頭腦不工作就像一台計算機。計算機算法不從，對我們的智力造成的。每台PC按照正規系統的固定的規則運作。如果我們要求PC給我們真實的陳述，它只能提供我們的記錄，可以從輸入系統的邏輯規則得到。因此，有逃避這些規則，並且仍然如此短語。對我來說，這是非常讓人放心。之前，我是害怕有一天計算機會超過我們人類的大腦。現在我知道，這不會有任何效果。計算機是只能對，我們已經給了他公理邏輯連接。真正創造新的東西，所以不能出現的創新實踐。另外，個人電腦可能永遠不會發展感情（除了斯坦利·庫布里克的電影“太空漫遊2001”光）。少數科學家已經確定，並嘗試生活與電腦的神經元連接，可以這麼說，建立一個生物電腦的大腦功能。但願，他們從來沒有做到這一點！
 
羅傑·彭羅斯
www.wikipedia.org
羅傑·彭羅斯：
從第一哥德爾不完備性定理遵循思維的非機械性質應指導我們的思想關於物理學的非機械的法律，因為他們在量子力學中大約位於。所以也頭腦的那些方面都被認為是不可預測的。