![Logical Number Theory I [electronic resource] : An Introduction /](/search/themes/bootstrap3/images/libros.png)
Logical Number Theory I [electronic resource] : An Introduction /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1991
|
| Subjects: | Mathematics., Mathematical logic., Number theory., Number Theory., Mathematical Logic and Foundations., |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-75462-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:217348 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:2173482018-07-30T23:53:07ZLogical Number Theory I [electronic resource] : An Introduction / Smoryński, Craig. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1991.engNumber 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.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.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.Mathematics.Mathematical logic.Number theory.Mathematics.Number Theory.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-75462-3URN:ISBN:9783642754623 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Mathematics. Mathematical logic. Number theory. Mathematics. Number Theory. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Number theory. Mathematics. Number Theory. Mathematical Logic and Foundations. |
| spellingShingle |
Mathematics. Mathematical logic. Number theory. Mathematics. Number Theory. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Number theory. Mathematics. Number Theory. Mathematical Logic and Foundations. Smoryński, Craig. author. SpringerLink (Online service) Logical Number Theory I [electronic resource] : An Introduction / |
| description |
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. |
| format |
Texto |
| topic_facet |
Mathematics. Mathematical logic. Number theory. Mathematics. Number Theory. Mathematical Logic and Foundations. |
| author |
Smoryński, Craig. author. SpringerLink (Online service) |
| author_facet |
Smoryński, Craig. author. SpringerLink (Online service) |
| author_sort |
Smoryński, Craig. author. |
| title |
Logical Number Theory I [electronic resource] : An Introduction / |
| title_short |
Logical Number Theory I [electronic resource] : An Introduction / |
| title_full |
Logical Number Theory I [electronic resource] : An Introduction / |
| title_fullStr |
Logical Number Theory I [electronic resource] : An Introduction / |
| title_full_unstemmed |
Logical Number Theory I [electronic resource] : An Introduction / |
| title_sort |
logical number theory i [electronic resource] : an introduction / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
| publishDate |
1991 |
| url |
http://dx.doi.org/10.1007/978-3-642-75462-3 |
| work_keys_str_mv |
AT smorynskicraigauthor logicalnumbertheoryielectronicresourceanintroduction AT springerlinkonlineservice logicalnumbertheoryielectronicresourceanintroduction |
| _version_ |
1756269739980619776 |