The recursive irrationality of π

DOI10.2307/2267733MaRDI QIDQ5833221zbMATH OpenOpenAlexFDO

Authors Reuben Goodstein

Publication date 1954

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2267733

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(4)

• The relatively exponential, logarithmic and circular functions in recursive function theory
• Primitive recursiveness of real numbers under different representations
• Rekursive reelle Zahlen
• Zur rekursiven Funktionentheorie

This page was built for publication: The recursive irrationality of π

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