Skip to main content
SpringerLink
Log in

Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements

  • Published:
Synthese Aims and scope Submit manuscript

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

REFERENCES

  • Bell, E. T.: 1951, ‘The Queen of Mathematics’, reprinted in J. R. Newman (ed.), The World of Mathematics, Simon and Schuster (1956).

  • Davidson, D.: 1976, ‘Hempel on Explaining Action’, Erkentnnis 10, 239-253. Reprinted in Davidson's 1989, Essays of Action and Events, Oxford. Page numbers refer to the book.

    Google Scholar 

  • De Milo, R. Lipton, and A. Perlis: 1979, ‘Social Processes and Proofs of Theorems and Programs’, Communication of the ACM, Vol. 22, No. 5. Reprinted in T. Tymozcko (ed.), New Directions in the Philosophy of Mathematics, Princeton University Press (1998). Page numbers refer to the book.

  • Gaifman, H.: 1964, ‘Concerning Measures in First Order Calculi’, Israeli Journal of Mathematics 2, 1-18.

    Google Scholar 

  • Gaifman, H. and M. Snir: 1982, ‘Probabilities over Rich Languages, Testing and Randomness’, Journal of Symbolic Logic 43(3), 495-548.

    Google Scholar 

  • Garber, D.: 1983, ‘Old Evidence and Logical Omniscience in Bayesian Confirmation Theory’, in J. Earman (ed.), Testing Scientific Theories, Minnesota Studies in the Philosophy of Language, Vol. X, pp. 99-131.

  • Hacking, I.: 1967, ‘Slightly More Realistic Personal Probability’, Philosophy of Science 34, 311-325.

    Google Scholar 

  • Levi, I.: 1991, The Fixation of Belief and Its Undoing, Cambridge University Press.

  • Levi, I.: 1995, ‘The Logic of Full Belief’, in Levi's The Covenant of Reason, Cambridge University Press (1997), Chap. 3, pp. 40-69. Page numbers refer to the book.

  • Rabin, M.: 1976, ‘Probabilistic Algorithms’, in J. Traub (ed.), Algorithms and Complexity, Recent Results and New Directions, Academic Press, New York, pp. 21-39.

    Google Scholar 

  • Rabin, M.: 1980, ‘Probabilistic Algorithm for Testing Primality’, Journal of Number Theory 12, 128-138

    Google Scholar 

  • Savage, L.: 1967, ‘Difficulty in the Theory of Personal Probability’, Philosophy of Science 34.

  • Solovay, R. and V. Strassen: 1977, ‘A Fast Monte Carlo Test for Primality’, SIAM Journal of Computation 6, 84-85; Erratum (1978) ibidem 6 118.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Columbia University, 708 Philosophy Hall, New York, NY, 10027, U.S.A.

    Haim Gaifman

Authors
  1. Haim Gaifman
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gaifman, H. Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements. Synthese 140, 97–119 (2004). https://doi.org/10.1023/B:SYNT.0000029944.99888.a7

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:SYNT.0000029944.99888.a7

Keywords

Search

Navigation