Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/mathematical-cultures-the-end-of-proof-the-integration-of-different-OE2Y100A03
References (63)
-
T. Gowers, Michael Nielsen (2009)
Massively collaborative mathematicsNature, 461
-
Dillon Mayhew, G. Royle (2007)
Matroids with nine elementsJ. Comb. Theory, Ser. B, 98
-
F. Quinn (1995)
Roadkill on the electronic highway? The threat to the mathematical literaturePublishing Research Quarterly, 11
-
M. Epple (2011)
Between Timelessness and Historiality: On the Dynamics of the Epistemic Objects of MathematicsIsis, 102
-
S. Colton (2007)
Computational Discovery in Pure Mathematics -
U. Martin (2014)
Opportunities and Challenges in 21st Century Experimental Mathematical Computation: ICERM Workshop Report -
M. Epple (2004)
Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical ResearchScience in Context, 17
-
M. Atiyah, A. Borel, G. Chaitin, D. Friedan, J. Glimm, J. Gray, M. Hirsch, S. Lane, B. Mandelbrot, D. Ruelle, A. Schwarz, Karen Uhlenbeck, R. Thom, E. Witten, Sir Zeeman (1994)
Responses to: A. Jaffe and F. Quinn, “Theoretical mathematics: toward a cultural synthesis of mathematics and theoretical physics” [Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 1, 1–13; MR1202292 (94h:00007)]Bulletin of the American Mathematical Society, 30
-
T. Gieryn (1996)
The Mangle of Practice: Time, Agency, and Science.Andrew PickeringAmerican Journal of Sociology, 102
-
P. Kitcher (1985)
The nature of mathematical knowledge -
J. Borwein (2011)
Exploratory Experimentation: Digitally-Assisted Discovery and Proof -
D. Sarvate, S. Wetzel, W. Patterson (2011)
Analyzing Massively Collaborative Mathematics ProjectsThe Mathematical Intelligencer, 33
-
A. Pease, U. Martin (2012)
Seventy four minutes of mathematics: An analysis of the third Mini−Polymath project -
B. Mandelbrot (1984)
Fractal Geometry of Nature -
D. Epstein (1997)
In Memoriam Frederick J. Almgren Jr., 1933-1997Exp. Math., 6
-
H. Rheinberger (1997)
Toward a History of Epistemic Things: Synthesizing Proteins in the Test Tube -
J. Avigad (2008)
Computers in Mathematical Inquiry -
Mark McEvoy (2007)
The Epistemological Status of Computer-Assisted Proofs†Philosophia Mathematica, 16
-
A. Pickering (1997)
The mangle of practice : time, agency, and scienceContemporary Sociology, 25
-
J. Horgan (1993)
THE DEATH OF PROOFScientific American, 269
-
T. Lenoir (1997)
Instituting Science: The Cultural Production of Scientific Disciplines -
M. Atiyah, A. Borel, G. Chaitin, D. Friedan, J. Glimm, J. Gray, M. Hirsch, S. Maclane, B. Mandelbrot, D. Ruelle, A. Schwarz, Karen Uhlenbeck, R. Thom, E. Witten, Christopher Zeeman (1994)
Responses to ``Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics'', by A. Jaffe and F. QuinnarXiv: History and Overview
-
A. Jaffe, F. Quinn (1994)
Response to comments on ``Theoretical Mathematics''Bulletin of the American Mathematical Society, 30
-
H. Sørensen (2010)
Experimental mathematics in the 1990s: A second loss of certainty? -
J. Borwein (2004)
Mathematics by experiment : plausible reasoning in the 21st century -
D. MacKenzie (2005)
Computing and the cultures of provingPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 363
-
Clement Lam, L. Thiel, S. Swiercz (1989)
The Non-Existence of Finite Projective Planes of Order 10Canadian Journal of Mathematics, 41
-
A. Odlyzko (1995)
Tragic lass or good riddance? The impending demise of traditional scholarly journalsMitteilungen der Deutschen Mathematiker-Vereinigung, 3
-
A. Pickering (1992)
Science as practice and cultureContemporary Sociology, 22
-
M. Stöltzner (2005)
THEORETICAL MATHEMATICS On the Philosophical Significance of the Jaffe-Quinn Debate -
Justin Cranshaw, A. Kittur (2011)
The polymath project: lessons from a successful online collaboration in mathematicsProceedings of the SIGCHI Conference on Human Factors in Computing Systems
-
K. Appel, W. Haken, J. Koch (1977)
Every planar map is four colorable. Part II: ReducibilityIllinois Journal of Mathematics, 21
-
J. Borwein, D. Bailey, R. Girgensohn (2004)
Experimentation in Mathematics: Computational Paths to Discovery -
J. Borwein, P. Borwein, R. Girgensohn, S. Parnes (1996)
Making Sense of Experimental Mathematics -
B. Heintz (2000)
Die innenwelt der mathematik : zur kultur und praxis einer beweisenden disziplin -
K. Gerow, J. Holbrook (1996)
Statistical sampling and fractal distributionsThe Mathematical Intelligencer, 18
-
(2006)
TWO CULTURESScience, 314
-
D. Zeilberger, G. Andrews (1993)
Theorems for a price: tomorrow’s semi-rigorous mathematical cultureThe Mathematical Intelligencer, 16
-
T. Sze (2010)
The Two Quadrillionth Bit of Pi is 0! Distributed Computation of Pi with Apache Hadoop2010 IEEE Second International Conference on Cloud Computing Technology and Science
-
P. Medawar (1979)
Advice To A Young Scientist -
D. Bailey, J. Borwein (2011)
Exploratory Experimentation and ComputationNotices of the American Mathematical Society, 58
-
J. Borwein, Veselin Jungić (2012)
Organic mathematics: then and nowNotices of the American Mathematical Society, 59
-
(2000)
To the ReaderExperimental Mathematics, 9
-
B. Kerkhove, J. Bendegem (2008)
Pi on Earth, or Mathematics in the Real WorldErkenntnis, 68
-
Charles Haspel, A. Vasquez (1982)
Experimental mathematics using APL and graphics -
Thomas Tymoczko (1979)
The Four-color Problem and Its Philosophical SignificanceThe Journal of Philosophy, 76
-
Thomas Britz, Carrie Rutherford (2005)
Covering radii are not matroid invariantsDiscret. Math., 296
-
I. Hacking (1992)
‘Style’ for historians and philosophers☆Studies in History and Philosophy of Science, 23
-
K. Knorr-Cetina (1999)
Epistemic cultures : how the sciences make knowledge -
M. Nathanson (2011)
One, Two, Many: Individuality and Collectivity in MathematicsThe Mathematical Intelligencer, 33
-
Sara Billey, B. Tenner (2013)
Fingerprint databases for theoremsArXiv, abs/1304.3866
-
D. Arnold, Henry Cohn (2012)
Mathematicians take a standArXiv, abs/1204.1351
-
W. Rosen, J. Horgan (1996)
The End of Science: Facing the Limits of Knowledge in the Twilight of the Scientific AgeBioScience
-
M. Detlefsen, Mark Luker (1980)
The Four-color Theorem and Mathematical ProofThe Journal of Philosophy, 77
-
Mark McEvoy (2013)
Experimental mathematics, computers and the a prioriSynthese, 190
-
Author Goldstein (1973)
Correction to “A History of the Prime Number Theorem”American Mathematical Monthly, 80
-
B. Heintz (2000)
Die Innenwelt der Mathematik -
L. Hassink, D. Clark (2012)
Elsevier's response to the mathematics communityNotices of the American Mathematical Society, 59
-
B. Heintz (2000)
„In der Mathematik ist ein Streit mit Sicherheit zu entscheiden“ Perspektiven einer Soziologie der MathematikZeitschrift für Soziologie, 29
-
E. Swart (1980)
The Philosophical Implications of the Four-Color ProblemAmerican Mathematical Monthly, 87
-
D. Epstein, S. Levy, R. Llave (2005)
About This Journal.Archives of internal medicine, 165 9
-
A. Marden (1997)
Fred Almgren and the Geometry CenterExp. Math., 6
-
A. Jaffe, F. Quinn (1993)
“Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physicsBulletin of the American Mathematical Society, 29
- Publisher
- Springer International Publishing
- Copyright
- © Springer International Publishing Switzerland 2016
- ISBN
- 978-3-319-28580-1
- Pages
- 139 –160
- DOI
- 10.1007/978-3-319-28582-5_9
- Publisher site
- See Chapter on Publisher Site
Abstract
[In this paper, the recent emergence of a professed “experimental” culture in mathematics during the past three decades is analysed based on an adaptation of Hans-Jörg Rheinberger’s notion of “experimental systems” that mesh into experimental cultures. In so doing, I approach the question of how distinct mathematical cultures can coexist and blend into a common understanding that allows for cultural convergence while preserving heterogeneity.]
Published: May 26, 2016
Keywords: Experimental mathematics; Computer-assisted mathematics; Experimental systems; Rheinberger; Convergent cultures; 00A30 (General: philosophy of mathematics); 01A60 (History and biography: 20th century); 01A61 (History and biography: twenty-first century)