Mx

ゲーデル化とエミュレーションの用語・記法

「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか? これを「ウソ記事」と呼ぶ。最近の用語法と比較。 ウソ記事 最近 Prop(LL) LL-Sentence 命題 閉論理式, 論理文 Formula(LL) LL-Formula Proof(LL) LL-ProofReazoning Prog(PL) PL-Pro…