On non-constructive theorems of analysis and the decision problem

DOI10.7146/MATH.SCAND.A-10444zbMATH Open0067.24804OpenAlexW2531788714MaRDI QIDQ3228593FDOQ3228593

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)