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

scientific article; zbMATH DE number 1511057

From MaRDI portal

Publication:4505125

Jump to:navigation, search

zbMATH Open0951.03001MaRDI QIDQ4505125

Richard L. Epstein, Walter Alexandre Carnielli

Publication date: 26 September 2000

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

zbMATH Keywords

Church's thesis undecidability Turing machines paradoxes first-order logic propositional logic constructive mathematics self-reference computability foundations of mathematics philosophy of mathematics recursive functions Gödel's incompleteness theorem intuitionism constructivism finitism recursive mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Methodology of mathematics (00A35) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

This page was built for publication:

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