文献

J-GLOBAL ID：201902223906939173   整理番号：19A2917199

Godelの第2定理とGODの存在の証明可能性【JST・京大機械翻訳】

Godel’s Second Theorem and the Provability of God’s Existence

著者 (1件)： Buzaglo Meir (Department of Philosophy, The Hebrew University of Jerusalem (Mt Scopus Campus), Jerusalem, Israel)
資料名： Logica Universalis  (Logica Universalis)
巻： 13  号： 4  ページ： 541-549  発行年： 2019年 
JST資料番号： W4698A  ISSN： 1661-8297  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 一般的な見解によると,Godにおける信念は証明されず,忠実に残されなければならない問題である。Kantはさらに,この非誘発性を証明することができると主張した。しかし,ある文が証明されないことを意味するいかなる議論も,Godelの第二定理(GST)によって挑戦される。実際に,GSTの1つの自明な結果は,ある条件を満たす任意の形式的システムFとFで定式化されたすべての文章Kに対して,FからKは証明できないことである。本論文では,Godの存在の非証明性を証明する一般的な問題を調査した。特に興味のあることは,Godの存在とFがGSTに対する主観を可能にするために満足しなければならない条件の間の関係の問題である。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *定式化

著者キーワード (5件)： Godelの第2定理 ,  理論 ,  証明不能性 ,  カント ,  AL-GHAZALI

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 定理 ,  証明 ,  可能性