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

scientific article; zbMATH DE number 2222027

From MaRDI portal

Publication:5700821

Jump to:navigation, search

zbMath1084.03047MaRDI QIDQ5700821

Gaisi Takeuti

Publication date: 2 November 2005

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

zbMATH Keywords

bounded arithmetic incompleteness polynomial hierarchy Gödel Hilbert's programme weak subsystems of Peano arithmetic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication:

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