The meaning of pure mathematics

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

S.Feferman, ‘Hilbert's program relativised: Proof-theoretical and foundational reductions’, The Journal of Symbolic Logic 53 (1988), 364–384.
Google Scholar
JanMycielski, ‘Skolemization of proofs’, Abstracts of papers presented to the AMS 8 (1987), 436.
Google Scholar
JanMycielski, ‘Locally finite theories’, The Journal of Symbolic Logic 51 (1986), 59–62.
Google Scholar
JanMycielski, ‘Analysis without actual infinity’, The Journal of Symbolic Logic 46 (1981), 625–633.
Google Scholar
W.Sieg, ‘Hilbert's program sixty years later’, The Journal of Symbolic Logic 53 (1988), 338–348.
Google Scholar
S. G. Simpson, ‘Partial realizations of Hilbert's program’, ibidem, 349–363.
W. W.Tait, Finitism, Journal of Philosophy 78 (1981), 524–546.
Google Scholar
W. W.Tait, ‘Against intuitionism: Constructive mathematics is part of classical mathematics’, Journal of Philosophical Logic 12 (1983), 173–195.
Google Scholar

Department of Mathematics, University of Colorado, 80309-0426, Boulder, CO, U.S.A.
Jan Mycielski

Authors

Jan Mycielski
View author publications
You can also search for this author in PubMed Google Scholar

Mycielski, J. The meaning of pure mathematics. J Philos Logic 18, 315–320 (1989). https://doi.org/10.1007/BF00274069

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.