Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Proof_theory> ?p ?o. }
Showing items 1 to 40 of
40
with 100 items per page.
- Proof_theory abstract "Proof theory is a 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. Together with model theory, axiomatic set theory, and recursion theory, proof theory is one of the so-called four pillars of the foundations of mathematics.Proof theory is important in philosophical logic, where the primary interest is in the idea of a proof-theoretic semantics, an idea which depends upon technical ideas in structural proof theory to be feasible.".
- Proof_theory wikiPageExternalLink proof-theory-development.
- Proof_theory wikiPageExternalLink infinite.pdf.
- Proof_theory wikiPageExternalLink ?p=74ab8879ce75445da488d5744cbc3818&pi=0.
- Proof_theory wikiPageID "183478".
- Proof_theory wikiPageRevisionID "585380239".
- Proof_theory hasPhotoCollection Proof_theory.
- Proof_theory id "p/p075430".
- Proof_theory title "Proof theory".
- Proof_theory subject Category:Mathematical_logic.
- Proof_theory subject Category:Metalogic.
- Proof_theory subject Category:Proof_theory.
- Proof_theory comment "Proof theory is a 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.".
- Proof_theory label "Beweistheorie".
- Proof_theory label "Bewijstheorie".
- Proof_theory label "Proof theory".
- Proof_theory label "Teoria da prova".
- Proof_theory label "Teoria della dimostrazione".
- Proof_theory label "Teoria dowodu".
- Proof_theory label "Teoría de la demostración".
- Proof_theory label "Théorie de la démonstration".
- Proof_theory label "Теория доказательств".
- Proof_theory label "نظرية البرهان".
- Proof_theory label "証明論".
- Proof_theory label "证明论".
- Proof_theory sameAs Beweistheorie.
- Proof_theory sameAs Teoría_de_la_demostración.
- Proof_theory sameAs Théorie_de_la_démonstration.
- Proof_theory sameAs Teoria_della_dimostrazione.
- Proof_theory sameAs 証明論.
- Proof_theory sameAs 증명_이론.
- Proof_theory sameAs Bewijstheorie.
- Proof_theory sameAs Teoria_dowodu.
- Proof_theory sameAs Teoria_da_prova.
- Proof_theory sameAs m.0191r1.
- Proof_theory sameAs Mx4rvWRWVpwpEbGdrcN5Y29ycA.
- Proof_theory sameAs Q852732.
- Proof_theory sameAs Q852732.
- Proof_theory wasDerivedFrom Proof_theory?oldid=585380239.
- Proof_theory isPrimaryTopicOf Proof_theory.