En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que "si P es demostrable entonces P", entonces P es demostrable. O sea: si, entonces donde Dem(#P) significa que la fórmula con número de Gödel #P es demostrable en T. El teorema de Löb debe su nombre a Martin Hugo Löb.

Autor
  • Hinman, P. (es)
Año
  • 2005 (xsd:integer)
rdfs:comment
  • En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que "si P es demostrable entonces P", entonces P es demostrable. O sea: si, entonces donde Dem(#P) significa que la fórmula con número de Gödel #P es demostrable en T. El teorema de Löb debe su nombre a Martin Hugo Löb. (es)
Editorial
  • A K Peters (es)
Id
  • ISBN 1-56881-262-0 (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Teorema de Löb (es)
Is foaf:primaryTopic of
dcterms:subject
Título
  • Fundamentals of Mathematical Logic (es)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1251553 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1720 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 12 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 73928489 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [11 values]
Is dbpedia-owl:wikiPageWikiLink of