Reasoning with limited resources and assigning probabilities to arithmetical statements

Synthese

Volumn 140, Issue 1-2, 2004, Pages 97-119

  Gaifman, Haim ^a  

^a Och Spine at New York Presbyterian Hospitals   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 32144436047     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/B:SYNT.0000029944.99888.a7     Document Type: Conference Paper

References (13)

1. Bell, E. T.: 1951, 'The Queen of Mathematics', reprinted in J. R. Newman (ed.), The World of Mathematics, Simon and Schuster (1956).
2. D. Davidson 1976 Hempel on Explaining Action Erkentnnis 10 239 253
3. 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.
4. H. Gaifman 1964 Concerning Measures in First Order Calculi Israeli Journal of Mathematics 2 1 18
5. H. Gaifman M. Snir 1982 Probabilities over Rich Languages, Testing and Randomness Journal of Symbolic Logic 43 3 495 548
6. 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.
7. I. Hacking 1967 Slightly More Realistic Personal Probability Philosophy of Science 34 311 325
8. Levi, I.: 1991, The Fixation of Belief and Its Undoing, Cambridge University Press.
9. 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.
10. Rabin, M.: 1976, 'Probabilistic Algorithms', in J. Traub (ed.), Algorithms and Complexity, Recent Results and New Directions, Academic Press, New York, pp. 21-39.
11. M. Rabin 1980 Probabilistic Algorithm for Testing Primality Journal of Number Theory 12 128 138
12. Savage, L.: 1967, 'Difficulty in the Theory of Personal Probability', Philosophy of Science 34.
13. R. Solovay V. Strassen 1977 A Fast Monte Carlo Test for Primality SIAM Journal of Computation 6 84 85