Skip to main content
SpringerLink
Log in

Choice sequences and informal rigour

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

In this paper we discuss a particular example of the passage from the informal, but rigorous description of a concept to the axiomatic formulation of principles holding for the concept; in particular, we look at the principles of continuity and lawlike choice in the theory of lawless sequences. Our discussion also leads to a better understanding of the rôle of the so-called density axiom for lawless sequences.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bernays, P.: 1970, ‘Die schematische Korrespondenz und die idealisierten Strukturen’, Dialectica 24, 53–66. Also in P. Bernays, Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt, 1976, 176–188.

    Google Scholar 

  • Boolos, G.: 1971, ‘The Iterative Conception of a Set’, The Journal of Phil. 68, 215–231.

    Google Scholar 

  • Curry, H. B.: 1951, Outlines of a Formalist Philosophy of Mathematics, North-Holland Publ. Co., Amsterdam.

    Google Scholar 

  • Gandy, R. O.: 1980, ‘Church's Thesis and Principles for Mechanisms’, in J. Barwise, H. J. Keisler, K. Kunen (eds.), The Kleene Symposium. North-Holland Publ. Co., Amsterdam, pp. 123–148.

    Google Scholar 

  • Gödel, K.: 1947, ‘What is Cantor's Continuum Problem?’ Am. Math. Monthly 54, 515–525. Reprinted with additions in P. Benacerraf, H. Putnam (eds.), Philosophy of Mathematics, Basil Blackwell, Oxford, 1964, pp. 258–273.

    Google Scholar 

  • Kreisel, G.: 1958, ‘A Remark on Free Choice Sequences and the Topological Completeness Proofs’, J. Symbolic Logic 23, 369–388.

    Google Scholar 

  • Kreisel, G.: 1968, ‘Lawless Sequences of Natural Numbers’, Compositio Math. 20, 222–248.

    Google Scholar 

  • Radó, T.: 1948, Length and Area. (American Math. Society Colloquium Publ. 30). Am. Math. Society, New York.

    Google Scholar 

  • Troelstra, A. S.: 1969, Principles of Intuitionism, Springer Verlag, Berlin.

    Google Scholar 

  • Troelstra, A. S.: 1977, Choice Sequences, Clarendon Press, Oxford.

    Google Scholar 

  • Turing, A. M.: 1937, On Computable Numbers, with an Application to the Entscheidungsproblem, Proc. London Math. Soc. (2) 42, 230–265. Reprinted in M. Davis (ed), The Undecidable, Raven Press, Hewlett (N.Y.) 1965, pp. 116–151.

    Google Scholar 

  • Zermelo, E.: 1930, ‘Über Grenzzahlen und Mengenbereiche’, Fund. Math. 16, 29–47.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematisch Instituut, Roetersstraat 15, Amsterdam, The Netherlands

    A. S. Troelstra

Authors
  1. A. S. Troelstra
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper is the revised text of a lecture in the workshop ‘The present state of the problem of foundations of mathematics’, June 15–19, 1981, Florence, Italy; at the workshop, the paper was read by D. van Dalen. This text was written in 1981; I would now draw slightly different conclusions from the material presented here.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Troelstra, A.S. Choice sequences and informal rigour. Synthese 62, 217–227 (1985). https://doi.org/10.1007/BF00486047

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00486047

Keywords

Search

Navigation