The recursive irrationality of π

Journal of Symbolic Logic 19 (4):267-274 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267733

Other Versions

reprint Goodstein, R. L. (1960) "The Recursive Irrationality of π". Journal of Symbolic Logic 25(2):166-167

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Goodstein R. L.. The recursive irrationality of π.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
Goodstein R. L.. Transfinite ordinals in recursive number theory.David Nelson - 1948 - Journal of Symbolic Logic 13 (3):171-171.
Goodstein R. L.. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 , S. 247–261.Rózsa Péter - 1959 - Journal of Symbolic Logic 24 (3):245-246.
R. L. Goodstein and J. Hooley. On recursive transcendence. Notre Dame journal of formal logic, vol. 1 , pp. 127–137.John Staples - 1970 - Journal of Symbolic Logic 35 (2):335.
Goodstein R. L.. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1957, XII + 190 pp. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 235–239. [REVIEW]V. Vuckovic - 1969 - Journal of Symbolic Logic 33 (4):618-619.

Analytics

Added to PP
2009-01-28

Downloads
227 (#114,668)

6 months
9 (#509,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.

Add more citations

References found in this work

No references found.

Add more references