Hilbert's Tenth Problem (Record no. 60042)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02435 a2200253 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 240423b 2019|||||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781470443993 (PB) |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 512 |
Item number | MUR |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Murty, M. Ram |
245 ## - TITLE STATEMENT | |
Title | Hilbert's Tenth Problem |
Sub Title | : An Introduction to Logic, Number Theory, and Computability, |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher | American Mathematical Society |
Year of publication | 2019 |
Place of publication | Rhode Island |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xiii, 237p. |
490 ## - SERIES STATEMENT | |
Series statement | Student Mathematical Library |
Volume number/sequential designation | 88 |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes Bibliography (229- 232) and Index |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | 1. Introduction<br/>2. Cantor and infinity<br/>3. Axiomatic set theory<br/>4. Elementary number theory<br/>5. Computability and provability<br/>6. Hilbert’s tenth problem<br/>7. Applications of Hilbert’s tenth problem<br/>8. Hilbert’s tenth problem over number fields<br/>9. Background material<br/> |
520 ## - SUMMARY, ETC. | |
Summary, etc | Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Mathematicians in Paris. These problems gave focus for the exponential development of mathematical thought over the following century. The tenth problem asked for a general algorithm to determine if a given Diophantine equation has a solution in integers. It was finally resolved in a series of papers written by Julia Robinson, Martin Davis, Hilary Putnam, and finally Yuri Matiyasevich in 1970. They showed that no such algorithm exists.<br/><br/>This book is an exposition of this remarkable achievement. Often, the solution to a famous problem involves formidable background. Surprisingly, the solution of Hilbert's tenth problem does not. What is needed is only some elementary number theory and rudimentary logic. In this book, the authors present the complete proof along with the romantic history that goes with it. Along the way, the reader is introduced to Cantor's transfinite numbers, axiomatic set theory, Turing machines, and Gödel's incompleteness theorems.<br/><br/>Copious exercises are included at the end of each chapter to guide the student gently on this ascent. For the advanced student, the final chapter highlights recent developments and suggests future directions. The book is suitable for undergraduates and graduate students. It is essentially self-contained. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Number theory |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Mathematical recreations and problems |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Field theory and polynomials |
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
Topical term or geographic name as entry element | Mathematics |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Fodden, Brandon |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | BOOKS |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Shelving location | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|
IMSc Library | First Floor, Rack No: 29, Shelf No: 11 | 512 MUR | 77671 | BOOKS |