Articles liés à Proof Theory: Mathematical Object, Mathematical Logic,...

Proof Theory: Mathematical Object, Mathematical Logic, Mathematical Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Theory, Structural Proof Theory - Couverture souple

 
9786130330620: Proof Theory: Mathematical Object, Mathematical Logic, Mathematical Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Theory, Structural Proof Theory
Couverture souple
ISBN 10 : 6130330626 ISBN 13 : 9786130330620
Editeur : Betascript Publishing, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Betascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130330626
ISBN 13 
9786130330620
Reliure
Broché
Nombre de pages
72
Éditeur
Surhone Lambert M., Timpledon Miriam T., Marseken Susan F.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible