サクサク読めて、アプリ限定の機能も多数!
ゲーデルの不完全性定理のCoqによる証明
petite_blue のブックマーク 2008/03/29 09:31
Essential Incompleteness of Arithmetic Verified by Coq[coq][logic][math] ゲーデルの不完全性定理のCoqによる証明2008/03/29 09:31
このブックマークにはスターがありません。 最初のスターをつけてみよう!
r6.ca2007/06/27
Abstract A constructive proof of the Gödel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is f...
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
ゲーデルの不完全性定理のCoqによる証明
petite_blue のブックマーク 2008/03/29 09:31
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Essential Incompleteness of Arithmetic Verified by Coq
r6.ca2007/06/27
Abstract A constructive proof of the Gödel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is f...
9 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /