對角線引理(diagonal lemma),又稱為定點定理(fixed point theorem)。在數理邏輯中,對角線引理樹立了自然數的形式理論的自指句子的存在。重要的是,它所涉及的形式...
英國邏輯學家湯姆遜在1962年發表的論文《論一些悖論》,對一些悖論的構成方法進行了分析。指出羅素悖論、理髮師悖論、格雷林悖論、理察悖論都是建立在康托對角線證法...
伯恩賽德引理(Burnside's lemma),也叫伯恩賽德計數定理(Burnside's counting ...棱中-棱中旋轉 6×1 0 立方體對角線旋轉±120° 4×2 0從而有 30 種旋轉...
這種語言藉由對角線引理(diagonal lemma)的作用產生充分的自指能力。引進塔斯基定理對哲學領域的擴展效果更加顯著。詞條標籤: 文化 V百科往期回顧 詞條統計 瀏覽...
《對角線方法、對角線引理與悖論研究》(1997),《“強化的排中律”與多值邏輯——從強化的說謊者悖論談起》(1997)、《回歸自然語言的語義學悖論》(1997)、《關於...