Some aspects of the problem of mathematical rigor

DOI10.1090/S0002-9904-1941-07414-8zbMath0025.00304MaRDI QIDQ5779169

Haskell B. Curry

Publication date: 1941

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

mathematical rigor

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Recursive Predicates and Quantifiers, DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES, Curry's formalism as structuralism