``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age

DOI10.1007/978-3-319-28582-5_9zbMATH Open1544.00034MaRDI QIDQ6599270

Publication date: 6 September 2024

experimental mathematics computer-assisted mathematics convergent cultures experimental systems Rheinberger

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Methodology of mathematics (00A35)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
One, two, many: individuality and collectivity in mathematics
Analyzing massively collaborative mathematics projects
Pi on earth, or mathematics in the real world
Every planar map is four colorable. II: Reducibility
Theorems for a price: Tomorrow's semi-rigorous mathematical culture
The death of proof? Semi-rigorous mathematics? You've got to be kidding!
Experimental mathematics, computers and the a priori
Matroids with nine elements
Covering radii are not matroid invariants
Making sense of experimental mathematics
Organic Mathematics: Then and Now
Exploratory Experimentation: Digitally-Assisted Discovery and Proof
The Non-Existence of Finite Projective Planes of Order 10
Between Timelessness and Historiality: On the Dynamics of the Epistemic Objects of Mathematics
“Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
Fingerprint Databases for Theorems
The Epistemological Status of Computer-Assisted Proofs
The Philosophical Implications of the Four-Color Problem
Responses to ``Theoretical Mathematics: Toward\\ a cultural synthesis of mathematics and\\ theoretical physics, by A. Jaffe and F. Quinn
Response to comments on ``Theoretical Mathematics
Computing and the cultures of proving
Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical Research
A History of the Prime Number Theorem
Theoretical Mathematics
Experimental mathematics

This page was built for publication: ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599270)