Comment les notions premières sont-elles définies dans les mathématiques anciennes ?

Pré-Publication, Document De Travail Année : 2010

(1)

Gilles Dowek

Types, Logic and computing

Comment les Mésopotamiens et les Égyptiens ont pu concevoir des algorithmes avant l’invention de la notion de démonstration ?

Informatique [cs] Histoire, Philosophie et Sociologie des sciences

Fichier principal

anciennes.pdf (246.12 Ko)

thales.pdf (3.92 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-04046903

Soumis le : lundi 27 mars 2023-07:55:53

Dernière modification le : mardi 28 mars 2023-03:28:06

hal-04046903 , version 1 (27-03-2023)

Gilles Dowek. Comment les notions premières sont-elles définies dans les mathématiques anciennes ?. 2010. ⟨hal-04046903⟩

X CNRS INRIA LIX X-LIX X-DEP-INFO HIPHISCITECH INRIA2

18 Consultations

15 Téléchargements