Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01075545n
Noun Concept
Categories: Metalogic, Mathematical logic, Proof theory
EN
proof theory  History of proof theory  Plug and chug  proof-theoretic  proof theorist
EN
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Wikipedia
Definitions
Relations
Sources
EN
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Wikipedia
A branch of mathematical logic that represents proofs as formal mathematical objects Wikipedia Disambiguation
IS A
major
academic discipline
symbolic logic
HAS PART
Gödel's speed-up theorem
HAS KIND
realizability
STUDIES
mathematical proof
Wikipedia
EN
proof theory
Wikidata
EN
proof theory
Wikipedia Redirections
EN
History of proof theory, Plug and chug, proof-theoretic, proof theorist, Subformula property

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License