Abstract
The presence of experimental methods in mathematics has been the leit-motiv of the so called, by Imre Lakatos in [12], renaissance of empiricism in the philosophy of mathematics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Cipra: What’s Happening in the Mathematical Sciences, vol. 1 (1993), vol. 2 (1994), vol. 3 (1995-6), vol. 4 (1998-9), (Providence, R.I., AMS 1993-1999)
M. Detlefsen and M. Luker: The Four-Color Theorem and Mathematical Proof. The Journal of Philosophy 77 (1980) pp 803–20
E. J. Dijksterhuis: Archimedes (Princeton University Press, Princeton 1987)
L. Euler: Specimen de usu observationum in mathesi pura. Novi commentarii academiae scientiarum Petropolitanae, 6 (1756-7), (1761) pp 185–230, with a summary ibidem, pp. 19-21, both in: Opera omnia, ser. I, vol. 2, Commentationes arithmeticae (Teubner, Leipzig 1915) pp. 459-92
F. Q. Gouvea: Euler’s Convincing Non-Proofs. Focus, 27, n. 1 (2007) pp. 10–11
T. C. Hales: Cannonballs and Honeycombs. Notices AMS 47, 4 (2000) pp 440–9
T. Heath: The Works of Archimedes (Dover, New York 1953)
T. Heath: A History of Greek Mathematics (1921), vol. 1 (Dover, New York 1981)
R. Hersh: Some Proposals for Reviving the Philosophy of Mathematics. Advances in Mathematics 31 (1979) pp. 31–50. Reprinted in [20] pp 9-28
M. Kac and S. M. Ulam: Mathematics and Logic (1968), (Penguin Books, London 1979)
I. Lakatos: Proofs and Refutations (Cambridge Univ. Press, Cambridge 1976) Previously published in four parts in The British Journal for the Philosophy of Science 14 (1963-64)
I. Lakatos: A Renaissance of Empiricism in the Recent Philosophy of Mathematics. In: Philosophical Papers, 2 voll (Cambridge Univ. Press, Cambridge 1978) Reprinted in [20] pp 29–48
G. Pólya: Mathematics and Plausible Reasoning, vol. 1: Induction and Analogy in Mathematics (Princeton Univ. Press, Princeton 1954)
H. Putnam: What is Mathematical Truth. In: Philosophical Papers, vol. 1, Mathematics, Matter and Method (Cambridge Univ. Press, Cambridge 1975) Reprinted in [20] pp 49–65
E. Rufini: Il “Metodo” di Archimede (Zanichelli, Bologna 1926) Reprinted: (Feltrinelli, Milano 1961)
M. Steiner: Mathematical Knowledge (Cornell Univ. Press, Ithaca 1975)
E. R. Swart: The Philosophical Implications of the Four-Color Problem. Amer. Math. Monthly 87 (1980) pp 697–707
P. Teller: Computer Proof. The Journal of Philosophy 77 (1980) pp 797–803
T. Tymoczko: The Four-Color Problem and Its Philosophical Significance. The Journal of Philosophy, 76 (1979) pp 57–83
T. Tymoczko (ed): New Directions in the Philosophy of Mathematics (Princeton Univ. Press, Princeton 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Italia
About this chapter
Cite this chapter
Lolli, G. (2008). Experimental Methods in Proofs. In: Lupacchini, R., Corsi, G. (eds) Deduction, Computation, Experiment. Springer, Milano. https://doi.org/10.1007/978-88-470-0784-0_4
Download citation
DOI: https://doi.org/10.1007/978-88-470-0784-0_4
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-0783-3
Online ISBN: 978-88-470-0784-0
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)