On non-constructive theorems of analysis and the decision problem

DOI10.7146/MATH.SCAND.A-10444MaRDI QIDQ3228593zbMATH OpenOpenAlexFDO

Authors Reuben Goodstein

Publication date 1955

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165594

zbMATH Keywords

philosophy and foundations of mathematics

This page was built for publication: On non-constructive theorems of analysis and the decision problem

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