scientific article

From MaRDI portal

Publication:3079616

Jump to:navigation, search

zbMath1220.03001MaRDI QIDQ3079616

Jeremy Avigad

Publication date: 2 March 2011

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

zbMATH Keywords

Hilbert metamathematics Gödel finitism Hilbert's program syntactic characterizations of mathematics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication:

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