- The Seventeen Provers of the World.Freek Wiedijk - 2007 - Studia Logica 87 (2-3):369-374.details
|
|
Good Thinking: The Foundations of Probability and its Applications.Irving John Good - 1983 - Univ Minnesota Pr.details
|
|
What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians.Don Fallis - 2002 - Logique Et Analyse 45.details
|
|
Slightly more realistic personal probability.Ian Hacking - 1967 - Philosophy of Science 34 (4):311-325.details
|
|
The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.details
|
|
Visualization, Explanation and Reasoning Styles in Mathematics.Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.) - 2005 - Springer.details
|
|
On proof and progress in mathematics.P. Thurston William - unknowndetails
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - Studia Logica 81 (2):285-289.details
|
|
The Varieties of Mathematical Explanation.Hafner Johannes & Paolo Mancosu - 2005 - In Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Springer. pp. 215-250.details
|
|
Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.details
|
|
The Fixation of Belief and its Undoing: Changing Beliefs Through Inquiry.Isaac Levi - 1991 - New York, NY, USA: Cambridge University Press.details
|
|
Towards a Philosophy of Real Mathematics.David Corfield - 2003 - New York: Cambridge University Press.details
|
|
(1 other version)The Fixation of Belief and Its Undoing. [REVIEW]Henry E. Kyburg - 1994 - Philosophy and Phenomenological Research 54 (3):721-725.details
|
|
The Surveyability of Mathematical Proof: A Historical Perspective.O. Bradley Bassler - 2006 - Synthese 148 (1):99-133.details
|
|
Reasoning with limited resources and assigning probabilities to arithmetical statements.Haim Gaifman - 2004 - Synthese 140 (1-2):97 - 119.details
|
|
Visualization in Logic and Mathematics.Paolo Mancosu - 2005 - In Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Springer. pp. 13-26.details
|
|
The Seventeen Provers of the World.Wiedijk Freek (ed.) - 2006 - Springer.details
|
|
Gaifman.Isaac Levi - 2004 - Synthese 140 (1-2):121 - 134.details
|
|