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

scientific article; zbMATH DE number 2078129

From MaRDI portal

Publication:4472955

Jump to:navigation, search

zbMath1045.03004MaRDI QIDQ4472955

Carlos Torres Alcaraz

Publication date: 7 July 2004

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

zbMATH Keywords

consistency proofs Gödel's Incompleteness Theorems Hilbert's Programme

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03)

This page was built for publication:

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