相關詞條
-
歌德爾命題
歌德爾命題是一個建立在數學基礎上的嚴整系統，一切都是有規律的，包括特工們和尼奧的超能力在內，都是包含在這個系統中的。
簡介 尼奧 -
哥德爾命題
在任何數學系統中，只要其能包含整數的算術，這個系統的相容性就不可能通過幾個基礎學派所採用的邏輯原理建立。簡單地說，就是在任何系統中，總有些真理是游離於邏...
背景 關於哥德爾命題 總結 -
《上帝擲骰子嗎》
，他一生中獲得的唯一諾貝爾獎，也是與量子力學有關的光電效應的研究，但他卻...時期是一定會入選的：17世紀末和20世紀初。前者以牛頓《自然哲學之數學原理...坍塌，卻又在熊熊烈焰中得到了洗禮和重生。我們會看到最革命的思潮席捲大地...
《上帝擲骰子嗎》 序 第一章 黃金時代 第二章 烏雲 第三章 火流星 -
邏輯學[哲學分支學科]
形式及其規律。邏輯學的主要任務是系統地研究正確推理的形式及其規律，為判定...是“所有S都是P”，它是判斷形式中的一種類型。再如，1）如果溫度升高...都包含邏輯常項和變項。邏輯常項是指同 類邏輯形式中不變的部分。如上例中...
定義 釋義 對象 內涵 性質 -
《當代分析哲學》
要用基於函項學說之上的更令人滿意的各種命題形式的區別，來代替“主詞”和...對命題的邏輯結構的解釋是根據命題的語法形式，它對命題的主詞、謂詞、連詞的分析是按照印歐語系語言的主詞、系詞、表語的語法形式展開的，所以，命題的語法...
圖書出版信息 內容簡介 當代分析哲學的基本特徵 當代分析哲學簡史 -
當代分析哲學
了這種純形式化演算系統對哲學的重要意義：“如果說哲學的任務是通過揭示有關由於...]而弗雷格的工作則是要用基於函項學說之上的更令人滿意的各種命題形式的區別...]傳統邏輯對命題的邏輯結構的解釋是根據命題的語法形式，它對命題的主詞...
基本特徵 產生過程 -
數理邏輯史
中的命題變元只取0或1為值，此系統可被看作為二值代數，他就用此二值代數...有效的關係推理形式。他是一位數學家,他認為在代數學中,關係是極為重要...一種公理系統，其中的定理都是邏輯規律特別是推理形式。19世紀70年代G.弗...
概述 發展 關於數學基礎的爭論 直覺主義 希爾伯特方案 -
《GEB：一條永恆的金帶》
在其他形式怪圈的系統中。更緊湊的怪圈可以在《畫畫的雙手》(圖22)這幅畫中... ……………… 形式系統 4 ……………… 遞歸 5 ……………… 歌德爾定理 6...現象，我們在某一個等級系統中逐步上升(或者下降)，結果卻意外地發現又回...
目錄 作品目錄 作品節選 作者介紹 -
數學思想方法
，將此為列為選學內容。第五章至第十章為中篇，該篇分別對數學教學中常用的抽象...、特殊化學數學思想方法，為在教學中加以套用打下紮實的基礎。第十一至第十三章...在國小數學教學中加強數學思想方法教學起到一定的引領和促進作用。學習指導部分...
內容簡介 作品目錄 基礎概念 思維方法 演算方法 -
原質論
內摩擦，所以沒有粘性；因為沒有微觀間隙，所以不可壓縮；使用數學分析不需要...在理想流體中作勻速直線運動或者任何物體在理想流體均勻流中處於相對靜止時所受到的合外力為零，所以，任何物體在以太中做慣性運動與以太的流速毫無關聯，二者...
