Zur Startseite gehen
0,00 €*
Cover: 9783540522362 | Logical Number Theory I | An Introduction | Craig Smorynski | Buch | X
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logical Number Theory I
An Introduction
Taschenbuch von Craig Smorynski
Sprache: Englisch

69,45 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography.
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, dealing with the usual introductory material: recursion theory, first-order logic, completeness, incompleteness, and undecidability. In addition, its second chapter contains the most complete logical discussion of Diophantine Decision Problems available anywhere, taking the reader right up to the frontiers of research (yet remaining accessible to the undergraduate). The first and third chapters also offer greater depth and breadth in logico-arithmetical matters than can be found in existing logic texts. Each chapter contains numerous exercises, historical and other comments aimed at developing the student's perspective on the subject, and a partially annotated bibliography.
Zusammenfassung
The 2-volume introductory textbook on logical number theory - or, number theory as studied by the logician - consists of this first volume that can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, and a second volume to follow soon with more sophisticated content and treatment but still accessible to students having read volume I or had a standard introductory course. The author is well known beyond his own field of specialisation for his expository talent and his lucid and enjoyable writing style.
Inhaltsverzeichnis
I. Arithmetic Encoding.- 1. Polynomials.- 2. Sums of Powers.- 3. The Cantor Pairing function.- 4. The Fueter-Pólya Theorem, I.- *5. The Fueter-Pólya Theorem, II.- 6. The Chinese Remainder Theorem.- 7. The ?-Function and Other Encoding Schemes.- 8. Primitive Recursion.- *9. Ackermann Functions.- 10. Arithmetic Relations.- 11. Computability.- 12. Elementary Recursion Theory.- 13. The Arithmetic Hierarchy.- 14. Reading List.- II. Diophantine Encoding.- 1. Diophantine Equations; Some Background.- 2. Initial Results; The Davis-Putnam-Robinson Theorem.- 3. The Pell Equation, I.- 4. The Pell Equation, II.- 5. The Diophantine Nature of R.E. Relations.- 6. Applications.- 7. Forms.- *8. Binomial Coëfficients.- *9. A Direct Proof of the Davis-Putnam-Robinson Theorem.- *10. The 3-Variable Exponential Diophantine Result.- 11. Reading List.- III. Weak Formal Theories of Arithmetic.- 1. Ignorabimus?.- 2. Formal Language and Logic.- 3. The Completeness Theorem.- 4. Presburger-Skolem Arithmetic; The Theory of Addition.- *5. Skolem Arithmetic; The Theory of Multiplication.- 6. Theories with + and ?; Incompleteness and Undecidability.- 7. Semi-Repiesentability of Functions.- 8. Further Undecidability Results.- 9. Reading List.- Index of Names.- Index of Subjects.
Details
Medium: Taschenbuch
Seiten: 420
Reihe: Universitext
Inhalt: x
405 S.
2 s/w Illustr.
405 p. 2 illus.
ISBN-13: 9783540522362
ISBN-10: 3540522360
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Auflage: Softcover reprint of the original 1st ed. 1991
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Universitext
Maße: 242 x 170 x 23 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 25.04.1991
Gewicht: 0,715 kg
preigu-id: 102141015
Zusammenfassung
The 2-volume introductory textbook on logical number theory - or, number theory as studied by the logician - consists of this first volume that can stand on its own as a somewhat unorthodox introduction to mathematical logic for undergraduates, and a second volume to follow soon with more sophisticated content and treatment but still accessible to students having read volume I or had a standard introductory course. The author is well known beyond his own field of specialisation for his expository talent and his lucid and enjoyable writing style.
Inhaltsverzeichnis
I. Arithmetic Encoding.- 1. Polynomials.- 2. Sums of Powers.- 3. The Cantor Pairing function.- 4. The Fueter-Pólya Theorem, I.- *5. The Fueter-Pólya Theorem, II.- 6. The Chinese Remainder Theorem.- 7. The ?-Function and Other Encoding Schemes.- 8. Primitive Recursion.- *9. Ackermann Functions.- 10. Arithmetic Relations.- 11. Computability.- 12. Elementary Recursion Theory.- 13. The Arithmetic Hierarchy.- 14. Reading List.- II. Diophantine Encoding.- 1. Diophantine Equations; Some Background.- 2. Initial Results; The Davis-Putnam-Robinson Theorem.- 3. The Pell Equation, I.- 4. The Pell Equation, II.- 5. The Diophantine Nature of R.E. Relations.- 6. Applications.- 7. Forms.- *8. Binomial Coëfficients.- *9. A Direct Proof of the Davis-Putnam-Robinson Theorem.- *10. The 3-Variable Exponential Diophantine Result.- 11. Reading List.- III. Weak Formal Theories of Arithmetic.- 1. Ignorabimus?.- 2. Formal Language and Logic.- 3. The Completeness Theorem.- 4. Presburger-Skolem Arithmetic; The Theory of Addition.- *5. Skolem Arithmetic; The Theory of Multiplication.- 6. Theories with + and ?; Incompleteness and Undecidability.- 7. Semi-Repiesentability of Functions.- 8. Further Undecidability Results.- 9. Reading List.- Index of Names.- Index of Subjects.
Details
Medium: Taschenbuch
Seiten: 420
Reihe: Universitext
Inhalt: x
405 S.
2 s/w Illustr.
405 p. 2 illus.
ISBN-13: 9783540522362
ISBN-10: 3540522360
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Auflage: Softcover reprint of the original 1st ed. 1991
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Universitext
Maße: 242 x 170 x 23 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 25.04.1991
Gewicht: 0,715 kg
preigu-id: 102141015
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783110254228 | Endoscopic Mitral Valve Surgery | Ralf Krakor | Buch | X | Englisch
Endoscopic Mitral Valve Surgery
Handbook of Minimal-invasive Cardiac Surgery
EAN: 9783110254228
Sprache: Englisch
Von/Mit: Ralf Krakor

173,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781441928702 | Classical Theory of Algebraic Numbers | Paulo Ribenboim | Taschenbuch
Classical Theory of Algebraic Numbers
EAN: 9781441928702
Sprache: Englisch
Von/Mit: Paulo Ribenboim

67,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780691036663 | The Mathematical Career of Pierre de Fermat, 1601-1665 | Mahoney
The Mathematical Career of Pierre de Fermat, 1601-1665
Second Edition
EAN: 9780691036663
Von/Mit: Michael Sean Mahoney

111,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781447169864 | Practical Pediatric Cardiology | Alan G. Magee (u. a.) | Taschenbuch
Practical Pediatric Cardiology
Case-Based Management of Potential Pitfalls
EAN: 9781447169864
Sprache: Englisch
Von/Mit: Alan G. Magee (u. a.)

67,40 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783319757469 | Postoperative Critical Care for Adult Cardiac Surgical Patients | Buch
Postoperative Critical Care for Adult Cardiac Surgical Patients
EAN: 9783319757469
Sprache: Englisch
Von/Mit: Ali Dabbagh (u. a.)

225,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9783030474034 | Difficult Decisions in Thoracic Surgery | An Evidence-Based Approach
Difficult Decisions in Thoracic Surgery
An Evidence-Based Approach
EAN: 9783030474034
Sprache: Englisch
Von/Mit: Mark K. Ferguson

131,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9789811924712 | Techniques in Minimally Invasive Thoracic Surgery | Kim (u. a.) | Buch
Techniques in Minimally Invasive Thoracic Surgery
EAN: 9789811924712
Sprache: Englisch
Von/Mit: Kwhanmien Kim (u. a.)

127,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783030571955 | Transesophageal Echocardiography for Pediatric and Congenital Heart...
Transesophageal Echocardiography for Pediatric and Congenital Heart Disease
EAN: 9783030571955
Sprache: Englisch
Von/Mit: Wanda C. Miller-Hance (u. a.)

118,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783826076480 | Res publica Romana - Die römische Republik | Kurt Roeske | Taschenbuch
Res publica Romana - Die römische Republik
Wesen und Werte, Krise und Untergang. Texte von Cicero und Augustin bis zu Max Weber und ihre Interpretation
EAN: 9783826076480
Sprache: Deutsch
Von/Mit: Kurt Roeske

24,80 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783899755343 | Paul Rée ¿ Philosoph, Arzt, Philantrop | Domenico M. Fazio | Buch
Paul Rée ¿ Philosoph, Arzt, Philantrop
EAN: 9783899755343
Sprache: Deutsch
Von/Mit: Domenico M. Fazio

41,95 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...