Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. J. Beeson, Metamathematics of constructive analysis, Ph.D. Thesis, Stanford University, 1971.
E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, New York, 1967).
E. Bishop, Mathematics as a numerical language, in: Intuitionism and Proof Theory, ed. J. Myhill, A. Kino, and R. E. Vesley (North-Holland, Amsterdam, 1970) 53–71.
K. Gödel, On intuitionistic arithmetic and number theory, trans. M. Davis, in: The Undecidable, ed. M. Davis (Raven Press, Hewlett, N.Y., 1965) 75–81.
N. D. Goodman, Intuitionistic arithmetic as a theory of constructions, Ph.D. Thesis, Stanford University, 1968.
N. D. Goodman, The theory of the Gödel functionals, In preparation.
G. Kreisel, Hilbert's programme, in: Philosophy of Mathematics, ed. P. Benaceraff and H. Putnam (Prentice-Hall, Englewood Cliffs, N.J., 1964) 157–180.
G. Kreisel, Informal rigour and completeness proofs, in: Problems in the Philosophy of Mathematics, ed. I. Lakatos (North-Holland, Amsterdam, 1967) 138–171.
J. Myhill, Embedding classical type theory in ‘intuitionistic’ type theory, in: Axiomatic Set Theory, ed. D. S. Scott (Proc. Symp. Pure Math. 13, Part I, 1971) 267–270.
W. W. Tait, Intensional interpretation of functionals of finite type I, J. Symb. Log. 32 (1967) 198–212.
W. W. Tait, Constructive reasoning, in: Logic, Methodology and Philosophy of Science III, ed. B. van Rootselaar and J. F. Staal (North-Holland, Amsterdam, 1968) 185–199.
A. S. Troelstra, The theory of choice sequences, in: Logic Methodology and Philosophy of Science III, ed. B. van Rootselaar and J. F. Staal (North-Holland, Amsterdam, 1968) 201–223.
A. S. Troelstra, Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. To appear.
M. Yasugi, Intuitionistic analysis and Gödel's interpretation, J. Math. Soc. Japan, 15 (1963) 101–112.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1972 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Goodman, N.D., Myhill, J. (1972). The formalization of Bishop's constructive mathematics. In: Lawvere, F.W. (eds) Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics, vol 274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0073966
Download citation
DOI: https://doi.org/10.1007/BFb0073966
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05920-2
Online ISBN: 978-3-540-37609-5
eBook Packages: Springer Book Archive