An Entity of Type: organisation, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Property Value
dbo:abstract
• Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, reverse mathematics, proof mining, automated theorem proving, and proof complexity. Much research also focuses on applications in computer science, linguistics, and philosophy. (en)
dbo:wikiPageID
• 183478 (xsd:integer)
dbo:wikiPageLength
• 19479 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
• 1001008528 (xsd:integer)
dbp:b
• 1 (xsd:integer)
• 2 (xsd:integer)
dbp:id
• p/p075430 (en)
dbp:p
• 1 (xsd:integer)
• 2 (xsd:integer)
dbp:title
• Proof theory (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
• Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. (en)
rdfs:label
• Proof theory (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:mainInterest of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbp:field of
is dbp:mainInterests of
is foaf:primaryTopic of