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 5064405 - MaRDI portal

scientific article; zbMATH DE number 5064405

From MaRDI portal

Publication:5493758

Jump to:navigation, search

zbMath1105.03013MaRDI QIDQ5493758

Stewart Shapiro

Publication date: 16 October 2006

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

zbMATH Keywords

Church's thesis

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Related Items (4)

Speech acts in mathematics ⋮ Proving Things About the Informal ⋮ Open texture and mathematics ⋮ Hyperloops Do Not Threaten the Notion of an Effective Procedure

This page was built for publication:

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