Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Löb's_theorem> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Löb's_theorem abstract "In mathematical logic, Löb's theorem states that in a theory with Peano arithmetic, for any formula P, if it is provable that "if P is provable then P is true", then P is provable. I.e.where Bew(#P) means that the formula P with Gödel number #P is provable.Löb's theorem is named for Martin Hugo Löb, who formulated it in 1955.".
- Löb's_theorem wikiPageID "693002".
- Löb's_theorem wikiPageRevisionID "594586046".
- Löb's_theorem subject Category:Axioms_of_modal_logic.
- Löb's_theorem subject Category:Mathematical_logic.
- Löb's_theorem subject Category:Metatheorems.
- Löb's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Löb's_theorem comment "In mathematical logic, Löb's theorem states that in a theory with Peano arithmetic, for any formula P, if it is provable that "if P is provable then P is true", then P is provable. I.e.where Bew(#P) means that the formula P with Gödel number #P is provable.Löb's theorem is named for Martin Hugo Löb, who formulated it in 1955.".
- Löb's_theorem label "Löb's theorem".
- Löb's_theorem label "Satz von Löb".
- Löb's_theorem label "Teorema de Löb".
- Löb's_theorem label "Teorema de Löb".
- Löb's_theorem label "Théorème de Löb".
- Löb's_theorem label "Теорема Лёба".
- Löb's_theorem sameAs L%C3%B6b's_theorem.
- Löb's_theorem sameAs Satz_von_Löb.
- Löb's_theorem sameAs Teorema_de_Löb.
- Löb's_theorem sameAs Théorème_de_Löb.
- Löb's_theorem sameAs Teorema_de_Löb.
- Löb's_theorem sameAs Q204884.
- Löb's_theorem sameAs Q204884.
- Löb's_theorem wasDerivedFrom Löb's_theorem?oldid=594586046.