Price loading...

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)

Mathematical Logic

Price data last checked 102 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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. 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 Godel's incompleteness theorems. 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.

Product Specifications

Format: paperback
ASIN: 1470443996
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 30 December 2019
Listed Since: 23 March 2019

Barcode

No barcode data available

Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry (Contemporary Mathematics)

The Hilbert Challenge

Mathematical Developments Arising from Hilbert Problems (Proceedings of Symposia in Pure Mathematics)

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Proofs 101: An Introduction to Formal Mathematics

Number Theory: Algebraic Numbers and Functions (Graduate Studies in Mathematics)

Introduction to Number Theory (Textbooks in Mathematics)

The Collected Works of Julia Robinson (Collected Works Series)

Notes on Fermat's Last Theorem: 22 (Wiley-Interscience and Canadian Mathematics Series of Monographs and Texts)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

To Infinity and Beyond: A Cultural History of the Infinite

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Springer Computational Invariant Theory: 130 Mathematics Book

Polynomial Diophantine Equations: A Systematic Approach

Arithmetics: 0 (Universitext)

Mathematics: Its Power and Utility, International Edition

Elements of Algebra

Transition to Advanced Mathematics (Textbooks in Mathematics)

I Want to be a Mathematician: An Automathography

Hausdorff on Ordered Sets (History of Mathematics)

Integers, Polynomials, and Rings: A Course in Algebra (Undergraduate Texts in Mathematics)