Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 5252386 - MaRDI portal

scientific article; zbMATH DE number 5252386

From MaRDI portal

Publication:5448298

Jump to:navigation, search

zbMath1144.03005MaRDI QIDQ5448298

Martin Davis

Publication date: 20 March 2008

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

zbMATH Keywords

Turing machines halting problem computation theory Hilbert's tenth problem Post logic

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Philosophical and critical aspects of logic and foundations (03A05) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Decidability of theories and sets of sentences (03B25) Higher degree equations; Fermat's equation (11D41) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) Polynomials (11S05)

Related Items (1)

Incompleteness and the halting problem

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5448298&oldid=20216445"