Löb's theorem
(logic) A theorem stating that, in any formal system F with Peano arithmetic, for any formula P, if it is provable in F that "if P is provable in F then P is true", then P is provable in F.
論理学における定理であり、ペアノ算術を含む任意の形式的体系 F において、ある命題 P について「もし P が F 内で証明可能ならば P は真である」と F 側で証明できたならば、P は F 内で証明可能であるということを示す定理。
復習用の問題
(logic) A theorem stating that, in any formal system F with Peano arithmetic, for any formula P, if it is provable in F that if P is provable in F then P is true
, then P is provable in F.
Löb's theorem
Löb's theorem shows that if a formal system proves that 'if P is provable in the system then P is true', then the system proves P.
Löb's theorem shows that if a formal system proves that 'if P is provable in the system then P is true', then the system proves P.
英語 - 多言語
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
