The Dark Side of the History of Proof:Proving the Correctness of Algorithms in the Ancient World - HAL-SHS - Sciences de l'Homme et de la Société
Chapitre D'ouvrage Année : 2023

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

Karine C.C. Chemla
  • Fonction : Auteur
  • PersonId : 1121472
Sciences, Philosophie, Histoire

Résumé

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.

Domaines

Histoire, Philosophie et Sociologie des sciences

Karine Chemla  : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-04380828

Soumis le : lundi 8 janvier 2024-21:13:20

Dernière modification le : jeudi 11 janvier 2024-03:40:54

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SPHERE HIPHISCITECH UP-SOCIETES-HUMANITES
11 Consultations
0 Téléchargements

Altmetric

Partager

More