‘The End of Proof’? The integration of different mathematical cultures as experimental mathematics comes of age

In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 139-160 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
Experimental mathematics in the 1990s: A second loss of certainty?Henrik Kragh Sørensen - 2010 - Oberwolfach Reports (12):601--604.
Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics.David H. Bailey & Jonathan M. Borwein - unknown
Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm.Henrik Kragh Sørensen - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. pp. 341--360.
Arguing Around Mathematical Proofs.Michel Dufour - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht: Springer. pp. 61-76.
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.
Of Proofs, Mathematicians, and Computers.Astrik Yepremyan - unknown
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
The History of Mathematical Proof in Ancient Traditions.Karine Chemla (ed.) - 2012 - Cambridge University Press.
Explanation in mathematics: Proofs and practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11):e12629.
Bevis och övertygelse- om behovet av att bevisa matematiska satser.Kim-Erik Berts - 2011 - Norsk Filosofisk Tidsskrift 46 (4):314-325.
First‐year secondary school mathematics students' conceptions of mathematical proofs and proving.Savas Basturk - 2010 - Educational Studies 36 (3):283-298.
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.

Analytics

Added to PP
2019-11-21

Downloads
11 (#1,075,532)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Henrik Kragh Sørensen
University of Copenhagen

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references