- Three Kinds of Idealization.Michael Weisberg - 2007 - Journal of Philosophy 104 (12):639-659.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
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
(2 other versions)Set Theory.T. Jech - 2005 - Bulletin of Symbolic Logic 11 (2):243-245.details
|
|
(2 other versions)Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.details
|
|
Galilean Idealization.Ernan McMullin - 1985 - Studies in History and Philosophy of Science Part A 16 (3):247.details
|
|
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.details
|
|
Values and the Social Responsibility of Mathematics.Paul Ernest - 2007 - Philosophy of Mathematics Education Journal 22.details
|
|
Erratum to: Perseverance as an intellectual virtue.Nathan L. King - 2014 - Synthese 191 (15):3779-3801.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan. pp. 263--299.details
|
|
First-order logic.Jon Barwise - 1977 - In Handbook of mathematical logic. New York: North-Holland.details
|
|
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.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
|
|
Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals.Matthew Inglis & Andrew Aberdein - 2015 - Philosophia Mathematica 23 (1):87-109.details
|
|
Data and phenomena.James Woodward - 1989 - Synthese 79 (3):393 - 472.details
|
|
(1 other version)Proofs and Refutations.Imre Lakatos - 1980 - Noûs 14 (3):474-478.details
|
|
Proof, rigour and informality : a virtue account of mathematical knowledge.Fenner Stanley Tanswell - 2016 - St Andrews Research Repository Philosophy Dissertations.details
|
|
(2 other versions)Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 1976 - Cambridge and London: Cambridge University Press.details
|
|
(1 other version)Public Images Of Mathematics.Lim Chap Sam & Paul Ernest - 1999 - Philosophy of Mathematics Education Journal 11.details
|
|
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.details
|
|
Is There a “Hilbert Thesis”?Reinhard Kahle - 2019 - Studia Logica 107 (1):145-165.details
|
|
Data and phenomena: a restatement and defense.James F. Woodward - 2011 - Synthese 182 (1):165-179.details
|
|
Hilbert 24th problem.Inês Hipólito & Reinhard Kahle - 2019 - Philosophical Transactions of the Royal Society A 1 (Notion of Simple Proof).details
|
|
What is Hilbert’s 24th Problem?Isabel Oitavem & Reinhard Kahle - 2018 - Kairos 20 (1):1-11.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
|
|
(1 other version)Public Images of Mathematics.Lim Chap Sam - 2002 - Philosophy of Mathematics Education Journal 15.details
|
|