English Explanatory Dictionary

Löb's theorem

English dictionary entry

Meanings

name
  1. 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.

Word forms

Löb's theorem

Etymology

Named after Martin Löb, who formulated it in 1955.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on L Russian dictionary Dahl dictionary