Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Hilbert's Tenth Problem

Library Home || Full Table of Contents || Library Help

Visit this site: http://logic.pdmi.ras.ru/Hilbert10/

Author:Russian Academy of Sciences
Description: A page to promote research connected with the negative solution of Hilbert's Tenth Problem and developed techniques, which have applications in the theory of algorithms, algebra, number theory, model theory, proof theory and in theoretical computer science. Original statement (in German, English, French, and Russian): Given a diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: devise a process according to which it can be determined by a finite number of operations whether the equation is solvable in rational integers. Bibliography, Articles and preprints, and links to related sites. From the Laboratory of Mathematical Logic at the St. Petersburg Division of Steklov Institute of Mathematics (POMI) of the Russian Academy of Sciences.

Levels: College, Research
Languages: English, French, German
Resource Types: Articles, Preprints, Bibliographies
Math Topics: Number Theory

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.