Qu`est-ce que calculer? A la frontière entre informatique et
Qu'est-ce que calculer?
A la frontière entre informatique et
mathématiques
Luc Bougé, ENS Cachan/Bretagne
avec l’aide de David Pichardie, INRIA
L’origine du calcul ou la
quête des fondements
Un peu d’histoire…
Computer?
COMPUTER, verbe.
Rare
A.−
Emploi intrans.
Déterminer une date; calculer, supputer un
temps : Quant aux ères, ici on compte par l'année de la création, là par
olympiade (...). On compute encore par les ères julienne,
grégorienne, ibérienne et actienne.
Chateaubriand,
Génie du christianisme,
t. 1, 1803, p. 127.
B.−
Emploi trans., littér.
[L'obj. désigne un objet quantifiable] Calculer,
évaluer.
Si l'on computait tout ce qui est gagné par tous les avocats
d'une grande ville
(Say,
Traité d'écon. pol.,
1832, p. 366).
Une
mécanique de bois et de métal qui (...) peut computer les tables
astronomiques et nautiques jusqu'à n'importe quel point donné
(Baudelaire,
Nouv. Histoires extraordinaires,
trad. d'E. Poë, 1857, p.
383).
L'épouvantable catastrophe pécuniaire qu'il computait
(J. de La
Varende,
Indulgence plénière,
1951, p. 228).
Les grands ancêtres: machines à computer
Depuis toujours ou presque, le boulier
Renaissance: calendriers rotatifs, cercles astronomiques,
instruments de navigation
1649: Pascal invente sa machine à calculer et obtient
l'exclusivité de la production de machines à calculer en France
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
1
/
63
100%
