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

scientific article; zbMATH DE number 1446592

From MaRDI portal

Publication:4953873

Jump to:navigation, search

zbMath0968.03003MaRDI QIDQ4953873

Christoffer Gefwert

Publication date: 14 May 2000

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

zbMATH Keywords

Church's thesis foundations logicism machine intelligence decision problem tautology philosophy of mathematics Turing symbolism intuitionism Wittgenstein mathematics as calculus mathematics as game

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)

Related Items (1)

Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing

This page was built for publication:

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