<電子ブック>
Logical Number Theory I : An Introduction / by Craig Smorynski
(Universitext. ISSN:21916675)
版 | 1st ed. 1991. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1991 |
大きさ | X, 405 p. 2 illus : online resource |
著者標目 | *Smorynski, Craig author SpringerLink (Online service) |
件 名 | LCSH:Number theory LCSH:Mathematical logic FREE:Number Theory FREE:Mathematical Logic and Foundations |
一般注記 | 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 HTTP:URL=https://doi.org/10.1007/978-3-642-75462-3 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783642754623 |
|
電子リソース |
|
EB00206038 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA241-247.5 DC23:512.7 |
書誌ID | 4000110291 |
ISBN | 9783642754623 |
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2017年9月4日以降