The Resource Hilbert's tenth problem, Yuri V. Matiyasevich ; with a foreword by Martin Davis

Hilbert's tenth problem, Yuri V. Matiyasevich ; with a foreword by Martin Davis

Label
Hilbert's tenth problem
Title
Hilbert's tenth problem
Statement of responsibility
Yuri V. Matiyasevich ; with a foreword by Martin Davis
Creator
Subject
Language
  • eng
  • rus
  • eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Matii︠a︡sevich, I︠U︡. V.
Index
index present
LC call number
QA242
LC item number
.M4213 1993
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Hilbert's tenth problem
  • Computable functions
  • Funciones recursivas
  • ensemble recursivement enumerable
  • ensemble non recursif
  • ensemble recursif
  • machine turing
  • indecidabilite
  • decidabilite
  • probleme hilbert
  • probleme decision
  • equation diophantienne
  • Computable functions
  • Hilbert's tenth problem
  • Hilberts tiende probleem
  • Hilbert, Problèmes de
  • Fonctions calculables
  • Analyse diophantienne
Label
Hilbert's tenth problem, Yuri V. Matiyasevich ; with a foreword by Martin Davis
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [221]-255) and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Principal Definitions -- 2. Exponentiation Is Diophantine -- 3. Diophantine Coding -- 4. Universal Diophantine Equations -- 5. Hilbert's Tenth Problem Is Unsolvable -- 6. Bounded Universal Quantifiers -- 7. Decision Problems in Number Theory -- 8. Diophantine Complexity -- 9. Decision Problems in Calculus -- 10. Other Applications of Diophantine Representations -- App. 1 The Four Squares Theorem -- App. 2 Chinese Remainder Theorem -- App. 3 Kummer's Theorem -- App. 4 Summation of a generalized geometric progression
Dimensions
24 cm.
Extent
xxii, 264 pages
Isbn
9780262132954
Lccn
93028107
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)28424180
  • (OCoLC)ocm28424180
Label
Hilbert's tenth problem, Yuri V. Matiyasevich ; with a foreword by Martin Davis
Publication
Bibliography note
Includes bibliographical references (p. [221]-255) and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Principal Definitions -- 2. Exponentiation Is Diophantine -- 3. Diophantine Coding -- 4. Universal Diophantine Equations -- 5. Hilbert's Tenth Problem Is Unsolvable -- 6. Bounded Universal Quantifiers -- 7. Decision Problems in Number Theory -- 8. Diophantine Complexity -- 9. Decision Problems in Calculus -- 10. Other Applications of Diophantine Representations -- App. 1 The Four Squares Theorem -- App. 2 Chinese Remainder Theorem -- App. 3 Kummer's Theorem -- App. 4 Summation of a generalized geometric progression
Dimensions
24 cm.
Extent
xxii, 264 pages
Isbn
9780262132954
Lccn
93028107
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)28424180
  • (OCoLC)ocm28424180

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...