Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Edité par Gordon and Breach Science Publishers, Amsterdam, 2000

A propos de cet article

Third only of a series of volumes of lectures on mathematical theory intended for mature students & lecturers, this discussing "various properties of the arithmetic of natural numbers" including "decidability and undecidability, completeness and incompleteness, consistency and the limitations to establish it." Felscher was a notable lecturer at the University of Tübingen. Hardcover, as pictured; no jacket, as issued. Light wear to book; minor scuffing, small nick to front hinge groove. Text clean; x, 300 pages; index, references, plenty of equations. Size: Octavo.

N° de réf. du vendeur u0419

Détails bibliographiques

• Titre: Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
• Éditeur: Gordon and Breach Science Publishers, Amsterdam
• Date de parution: 2000
• ISBN à 10 chiffres: 9056992686
• ISBN à 13 chiffres: 9789056992682
• Reliure: Hard Cover
• Édition: First Edition.
• État de l'article: Very Good
• État de la jaquette: No Jacket
• Catalogues du vendeur:
  • History of Science
  • Mathematics
  • Philosophy

A propos de ce titre

Synopsis

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

À propos de l?auteur

Felscher, Walter