The Dark Side of the History of Proof:Proving the Correctness of Algorithms in the Ancient World - HAL Access content directly
Book sections Year : 2023

The Dark Side of the History of Proof:Proving the Correctness of Algorithms in the Ancient World

Karine C.C. Chemla
  • Function: Author
  • PersonId: 1121472

Abstract

In the historiography of mathematics, proof and computation have regularly been perceived as opposed to each other in ways that have significantly obscured the discussion of the relationships between these two mathematical practices. This essay intends to draw on recent work in the history and the philosophy of mathematics to offer some reflections on these relationships.
Loading...
No file

Dates and versions

halshs-04380828, version 1 (08-01-2024)

Identifiers

Cite

Karine C.C. Chemla. The Dark Side of the History of Proof:Proving the Correctness of Algorithms in the Ancient World. Handbook of the History and Philosophy of Mathematical Practice, Springer International Publishing, pp.1-25, 2023, ⟨10.1007/978-3-030-19071-2_81-1⟩. ⟨halshs-04380828⟩
5 View
0 Download
Last update date on 5/12/24
How are these indicators produced

Altmetric

Share

Gmail Facebook Twitter LinkedIn More