FANDOM


概要

ある言語で記述可能な論証体系における任意の証明が妥当であるかどうかの判断を、その理論による形式的な証明におきかえることができる場合にのみ成り立つ。不動点定理を使って証明する。ロッサー文で直接矛盾に条件を弱めた場合を証明できる。便利。

不完全性定理からの脱出

妥当であることの判断をその理論による証明に置き換えられないような証明の方法によって、その論証体系があずかるその理論の無矛盾性を自分で証明できることが考えうる。

ただし存在を示すことができたところでそれが実際に人間に扱える言語であるとは限らない。

言語としてのプレスバーガー算術なら人間でも扱うことができる。

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki