- Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: Cambridge University Press.details
|
|
Data and phenomena.James Woodward - 1989 - Synthese 79 (3):393 - 472.details
|
|
Data and phenomena: a restatement and defense.James F. Woodward - 2011 - Synthese 182 (1):165-179.details
|
|
Three Kinds of Idealization.Michael Weisberg - 2007 - Journal of Philosophy 104 (12):639-659.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
What is Hilbert’s 24th Problem?Isabel Oitavem & Reinhard Kahle - 2018 - Kairos 20 (1):1-11.details
|
|
Galilean Idealization.Ernan McMullin - 1985 - Studies in History and Philosophy of Science Part A 16 (3):247.details
|
|
Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.details
|
|
Erratum to: Perseverance as an intellectual virtue.Nathan L. King - 2014 - Synthese 191 (15):3779-3801.details
|
|
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.details
|
|
Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals.Matthew Inglis & Andrew Aberdein - 2015 - Philosophia Mathematica 23 (1):87-109.details
|
|
How the laws of physics lie.Nancy Cartwright - 1983 - New York: Oxford University Press.details
|
|
Saving the phenomena.James Bogen & James Woodward - 1988 - Philosophical Review 97 (3):303-352.details
|
|
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.details
|
|
First-order logic.Jon Barwise - 1977 - In Handbook of mathematical logic. New York: North-Holland.details
|
|
How humans learn to think mathematically: exploring the three worlds of mathematics.David Orme Tall - 2013 - Cambridge: Cambridge University Press.details
|
|
Diversity in proof appraisal.Matthew Inglis & Andrew Aberdein - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 163-179.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. pp. 263--299.details
|
|
Hilbert 24th problem.Inês Hipólito & Reinhard Kahle - 2019 - Philosophical Transactions of the Royal Society A 1 (Notion of Simple Proof).details
|
|
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.details
|
|
Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.details
|
|
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.details
|
|
Public Images of Mathematics.Lim Chap Sam - 2002 - Philosophy of Mathematics Education Journal 15.details
|
|
Values and the Social Responsibility of Mathematics.Paul Ernest - 2007 - Philosophy of Mathematics Education Journal 22.details
|
|
A Machine-Checked Proof of the Odd Order Theorem.Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Francois Garillot, Stephane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi & Laurent Thery - unknowndetails
|
|
Public Images Of Mathematics.Lim Chap Sam & Paul Ernest - 1999 - Philosophy of Mathematics Education Journal 11.details
|
|