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

scientific article; zbMATH DE number 1141703

From MaRDI portal

Publication:4385479

Jump to:navigation, search

zbMath0889.03045MaRDI QIDQ4385479

Solomon Feferman

Publication date: 14 April 1998

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

zbMATH Keywords

proof theory interpretation finitism Hilbert's programme finiteness theorems Littlewood's theorem no counterexample interpretation Kreisel's programme non-finitist proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

The mathematical significance of proof theory, Jean van Heijenoort's contributions to proof theory and its history, From Mathesis Universalis to Provability, Computability, and Constructivity, Predicativity and Feferman

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