Logical Number Theory I
An Introduction
Buch in deiner Nähe kaufen
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.
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.
Autor*in
Craig Smorynski
Themen in »Logical Number Theory I«
Diophantine equations Diophantische Gleichung Incompleteness Recursion Theory Rekursionstheorie Undecidability Unentscheidbarkeit Unvollständigkeit computability theory mathematical logic number theory proof