En lógica matemática, la función beta de Gödel es una función numérica que permite la definición de funciones recursivas dentro de una teoría formal aritmética.

Apellidos
  • Ivorra (es)
rdfs:comment
  • En lógica matemática, la función beta de Gödel es una función numérica que permite la definición de funciones recursivas dentro de una teoría formal aritmética. (es)
Fechaacceso
  • 2011-01-03-05:00 (xsd:date)
foaf:isPrimaryTopicOf
rdfs:label
  • Función beta de Gödel (es)
Nombre
  • Carlos (es)
Is foaf:primaryTopic of
dcterms:subject
Título
  • Lógica y teoría de conjuntos (es)
Url
  • http://www.uv.es/ivorra/Libros/Logica.pdf (es)
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 4389092 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3737 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 5 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 71302737 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of