scientific article; zbMATH DE number 5269056

zbMath1136.03001MaRDI QIDQ5384968

Yu. V. Matiyasevich

Publication date: 29 April 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) History of mathematics in the 20th century (01A60) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of number theory (11-03) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03) Word problems, etc. in computability and recursion theory (03D40)

Related Items (4)

Chain-Free String Constraints ⋮ On Post correspondence problem for letter monotonic languages ⋮ What can and cannot be done with Diophantine problems ⋮ On the Meaning Maximization Doctrine: An Alternative to the Utilitarian Doctrine

This page was built for publication: