This HTML5 document contains 25 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
n9http://es.wikipedia.org/wiki/Teoría_de_la_demostración?oldid=126491438&ns=
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Teoria_de_la_demostracion
dbo:wikiPageRedirects
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbpedia-es:Teoria_de_la_demostración
dbo:wikiPageRedirects
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbpedia-es:Teoria_de_la_prueba
dbo:wikiPageRedirects
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbpedia-es:Teoría_de_la_demostracion
dbo:wikiPageRedirects
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbpedia-es:Teoría_de_la_prueba
dbo:wikiPageRedirects
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbr:Proof_theory
owl:sameAs
dbpedia-es:Teoría_de_la_demostración
Subject Item
dbpedia-es:Teoría_de_la_demostración
rdfs:label
Teoría de la demostración
rdfs:comment
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de los «cuatro pilares» de los fundamentos de las matemáticas.[cita requerida]
owl:sameAs
n12:0191r1
dct:subject
category-es:Teoría_de_la_demostración
foaf:isPrimaryTopicOf
wikipedia-es:Teoría_de_la_demostración
prop-es:apellido
Pohlers
prop-es:año
2009
prop-es:editorial
Springer-Verlag
prop-es:isbn
978
prop-es:nombre
Wolfram
prop-es:páginas
17
prop-es:título
Proof Theory: The first step into impredicatibility
prop-es:ubicación
Berlín
dbo:wikiPageID
566385
dbo:wikiPageRevisionID
126491438
dbo:wikiPageLength
9456
prov:wasDerivedFrom
n9:0
dbo:abstract
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de los «cuatro pilares» de los fundamentos de las matemáticas.[cita requerida]
Subject Item
wikipedia-es:Teoría_de_la_demostración
foaf:primaryTopic
dbpedia-es:Teoría_de_la_demostración