Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Verlag: Gordon and Breach Science Publishers, Amsterdam, 2000

Beschreibung

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.

Bestandsnummer des Verkäufers u0419

Bibliografische Details

• Titel: Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
• Verlag: Gordon and Breach Science Publishers, Amsterdam
• Erscheinungsjahr: 2000
• ISBN-10: 9056992686
• ISBN-13: 9789056992682
• Einband: Hard Cover
• Auflage: First Edition.
• Zustand: Very Good
• Zustand des Schutzumschlags: No Jacket
• Verkäuferkataloge:
  • History of Science
  • Mathematics
  • Philosophy

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

Felscher, Walter