On investigations on some algorithmic problems in algebra and number theory
surveyword problemalgorithmic unsolvabilityHilbert's 10th problemmatrix representabilityrecognition of invariant properties
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) Development of contemporary mathematics (01A65) Free semigroups, generators and relations, word problems (20M05) Schools of mathematics (01A72) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05) Computability and recursion theory (03Dxx)
- Investigations on algorithmic questions of algebra
- The developments of the concept of machine computability from 1936 to the 1960s
- A direct method for simulating partial recursive functions by Diophantine equations
- scientific article; zbMATH DE number 730035 (Why is no real title available?)
- Martin Davis and Hilbert's tenth problem
- scientific article; zbMATH DE number 5524164 (Why is no real title available?)
- scientific article; zbMATH DE number 3875525 (Why is no real title available?)
- scientific article; zbMATH DE number 3961588 (Why is no real title available?)
- scientific article; zbMATH DE number 41267 (Why is no real title available?)
This page was built for publication: On investigations on some algorithmic problems in algebra and number theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820152)