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.
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.
Gaifman, H. and M. Snir: 1982, ‘Probabilities over Rich Languages, Testing and Randomness’, Journal of Symbolic Logic 43(3), 495-548.
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.
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.
Rabin, M.: 1980, ‘Probabilistic Algorithm for Testing Primality’, Journal of Number Theory 12, 128-138
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/B:SYNT.0000029944.99888.a7