scientific article; zbMATH DE number 3141319

MaRDI QIDQ3259061zbMATH OpenFDO

Authors W. Stegmüller

Publication date 1959

zbMATH Keywords

Churchcognitive scienceGödelincompletenessKleenemetamathematical resultsphilosophy and foundations of mathematicsRosserundecidability

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Cited in

(1)

• Proof-theoretic semantics: an autobiographical survey

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3259061)