Second-order Arithmetic: Second-order Arithmetic, Mathematical Logic, Axiom, Natural Number, Set Theory, Foundations of Mathematics, First-order Logic, Peano Axioms, Reverse Mathematics - Couverture souple

Couverture souple

ISBN 10 : 6130319428 ISBN 13 : 9786130319427

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. Second-order arithmetic includes, but is significantly stronger than, its first-order counterpart Peano arithmetic. Unlike Peano arithmetic, second-order arithmetic allows quantification over sets of numbers as well as numbers themselves. Because real numbers can be represented as (infinite) sets of natural numbers in well-known ways, and because second order arithmetic allows quantification over such sets, it is possible to formalize the real numbers in second-order arithmetic. For this reason, second-order arithmetic is sometimes called “analysis�.

Détails de l'édition

• Éditeur: Betascript Publishing
• Date d'édition: 2010
• Langue: anglais
• ISBN 10: 6130319428
• ISBN 13: 9786130319427
• Reliure: Broché
• Nombre de pages: 108
• Éditeur: Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible