WEBVTT

0
00:00:10.030 --> 00:00:13.660
 - Eh bien, c'est déjà le dernier
intervenant de ce soir, nous allons

1
00:00:13.860 --> 00:00:18.670
passer sans transition aux mathématiques !
Et donc, je vais accueillir : Jean

2
00:00:18.870 --> 00:00:21.860
Dhombres, qui est mathématicien et
historien des mathématiques.

3
00:00:22.270 --> 00:00:26.830
Chercheur au CNRS, fondateur de la
revue: "Sciences et Techniques en

4
00:00:27.030 --> 00:00:29.920
perspective" et qui va nous parler
de Alan Turing

5
00:00:30.340 --> 00:00:34.420
sa machine, à l'origine de tous nos
ordinateurs, et de sa folie.

6
00:00:37.750 --> 00:00:38.510
Merci beaucoup.

7
00:00:40.980 --> 00:00:41.740
- Bonsoir.

8
00:00:41.940 --> 00:00:46.390
Le mieux, peut-être, pour commencer
c'est de passer une petite

9
00:00:46.590 --> 00:00:51.460
séance de vidéo, c'est une
pièce de théâtre qui s'appelle "la

10
00:00:51.660 --> 00:00:56.980
Machine de Turing", qui représente
les questions qui sont posées à Turing.

11
00:00:57.390 --> 00:00:59.350
Il est interrogé par un détective.

12
00:00:59.550 --> 00:01:00.310
Ca va être

13
00:01:00.510 --> 00:01:04.510
 la fin de sa vie et la
meilleure solution, c'est de commencer

14
00:01:04.710 --> 00:01:08.830
par là et vous allez voir que le
mot "fou" intervient à plusieurs reprises

15
00:01:09.030 --> 00:01:13.480
de la part de Turing, de la part
du détective aussi bien. (extrait) 

16
00:01:13.680 --> 00:01:18.250
"Pourquoi refuser à une machine son droit
à l'intelligence même artificielle !

17
00:01:18.730 --> 00:01:21.560
Penser ne serait donc pas réservé à l'âme humaine Monsieur Turing ?

18
00:01:22.300 --> 00:01:23.060
Alors là, ça, non."

19
00:01:25.590 --> 00:01:27.440
Ça, c'est une excellente question.

20
00:01:28.860 --> 00:01:33.590
Sergent selon vous, une machine n'a
pas d'âme et donc, ne peut pas penser ?

21
00:01:33.920 --> 00:01:34.680
CQFD.

22
00:01:38.000 --> 00:01:41.120
La semaine prochaine, vous devriez
être invité à ma place sur le thème :

23
00:01:41.320 --> 00:01:43.010
pourquoi les machines ne pensent pas ?

24
00:01:44.480 --> 00:01:48.290
Donc selon vous, une machine ne pourra
pas être considérée comme intelligente ?

25
00:01:48.680 --> 00:01:53.810
N'aura pas été capable d'écrire
un sonnet ou de proposer un concerto ?

26
00:01:54.050 --> 00:01:58.430
Mais je peux le comprendre mais
moi, je ne vois pas pourquoi. Dès

27
00:01:58.630 --> 00:02:02.210
lors qu'une machine calcule, exécute,
apprend, elle ne pourrait pas aussi

28
00:02:02.410 --> 00:02:03.170
penser ?

29
00:02:03.370 --> 00:02:06.620
Il faut simplement se libérer de
toutes nos certitudes.

30
00:02:06.870 --> 00:02:07.630
Le saviez vous ?

31
00:02:08.260 --> 00:02:11.240
C'est le cas de figure commun
à tous les révolutionnaires, les

32
00:02:11.440 --> 00:02:13.130
inventeurs, les visionnaires et les fous. 
Je suis fou ?  Peut-être."

33
00:02:27.150 --> 00:02:32.730
Donc le sujet est lancé.

34
00:02:32.930 --> 00:02:33.850
Le mot est lancé : fou.

35
00:02:34.820 --> 00:02:41.120
Une assertion d'abord, pour commencer :
vous êtes fou ! Et vous avez entendu.

36
00:02:41.570 --> 00:02:44.190
Une interrogation : je suis fou ?

37
00:02:46.080 --> 00:02:46.840
De Turing.

38
00:02:49.900 --> 00:02:55.540
Parole contre parole si l'on veut sauf
que la forme que Turing prend

39
00:02:55.740 --> 00:02:59.230
pour s'exprimer, nous n'avons pas
les données exactes.

40
00:02:59.430 --> 00:03:02.730
C'est une pièce de théâtre à partir
de mémoires, effectivement, de Turing.

41
00:03:03.880 --> 00:03:09.430
Enfin, les données sont que, constamment,
Turing qui est un esprit brillant

42
00:03:09.630 --> 00:03:14.400
ceci est indéniable, et qui a fait
des inventions absolument extraordinaires, qui

43
00:03:14.600 --> 00:03:16.570
a eu beaucoup de mal à s'imposer
jusqu'à aujourd'hui

44
00:03:16.770 --> 00:03:19.750
enfin, je veux dire, c'est maintenant
les 10, 15, 20 dernières années pour

45
00:03:19.950 --> 00:03:27.580
lesquelles il est connu. Mais Turing
doute, s'interroge, s'interroge sur

46
00:03:28.300 --> 00:03:32.200
ce qu'il a fait. Ce qu'il a fait
du point de vue scientifique.

47
00:03:32.400 --> 00:03:37.480
C'est bien de cela dont il s'agit.
Et s'interroge : disons, est-ce que

48
00:03:37.780 --> 00:03:44.380
j'ai agi raisonnablement ? C'est un
mauvais adverbe. C'est un mauvais

49
00:03:44.580 --> 00:03:47.710
adverbe en l'occurrence, en
tout cas, pour un mathématicien. C'est

50
00:03:47.910 --> 00:03:49.460
un grand mathématicien : Turing.

51
00:03:50.380 --> 00:03:54.500
Il faudrait dire, rationnellement
au lieu de raisonnablement. Mais

52
00:03:54.700 --> 00:03:59.050
rationnellement, en utilisant la
racine latine de "ratio".

53
00:04:01.470 --> 00:04:08.680
Ce que l'on dit en grec : le "logos".
C'est-à-dire, c'est un rapport. Une

54
00:04:08.880 --> 00:04:09.790
proportion.

55
00:04:10.660 --> 00:04:17.350
J'ai tablé, c'est une découverte.
J'établis un lien, mais un lien

56
00:04:17.950 --> 00:04:20.500
de rapport, à un lien de proportions.

57
00:04:21.710 --> 00:04:24.220
Vous entendez, j'ai dit : "logos", un lien

58
00:04:24.460 --> 00:04:28.580
d'analogie entre quelque chose et
quelque chose d'autre.

59
00:04:30.260 --> 00:04:35.330
J'ai aussi prononcé le mot : proportion.
Et pour tout mathématicien, ceci a une

60
00:04:35.530 --> 00:04:36.290
signification.

61
00:04:36.830 --> 00:04:41.330
La proportion, on dit bien : un visage
bien proportionné.

62
00:04:42.080 --> 00:04:46.450
On dit aussi que les colonnes du
Parthénon sont bien proportionnées !

63
00:04:46.650 --> 00:04:52.190
C'est-à-dire qu'il faut, je crois,
constamment se souvenir, que quand

64
00:04:52.390 --> 00:04:55.370
il s'agit de mathématiques, en tout
cas, quand il s'agit d'un certain

65
00:04:55.570 --> 00:05:01.740
type de découvertes en mathématiques,
la beauté, n'est jamais loin où le rapport

66
00:05:01.940 --> 00:05:05.400
que l'on peut entretenir, que l'on
peut avoir, que l'on peut développer

67
00:05:05.600 --> 00:05:09.030
et que l'on peut essayer de faire
prendre conscience.

68
00:05:09.730 --> 00:05:12.690
Donc, voilà la question.

69
00:05:13.230 --> 00:05:19.690
Alors, la question que peut se poser, que
pourrait se poser Turing, c'est : 

70
00:05:19.890 --> 00:05:24.840
y aurait-il un rapport, une bonne
proportion dans ce que j'ai fait ?

71
00:05:25.040 --> 00:05:25.800
Ce qu'il a fait, c'est ce qu'il

72
00:05:26.620 --> 00:05:30.690
a inventé, ce qu'on appelle
aujourd'hui, partout, "la machine de

73
00:05:30.890 --> 00:05:35.760
Turing", c'est-à-dire une machine
de pensées mais qui, d'une façon très

74
00:05:35.970 --> 00:05:42.050
technique, permet d'isoler la structure
théorique qui fait marcher nos

75
00:05:42.250 --> 00:05:45.600
ordinateurs ; naturellement, sur les
ordinateurs, en plus de la pensée

76
00:05:46.070 --> 00:05:50.230
de Turing, s'est greffé un moyen
physique extraordinaire : l'électronique.

77
00:05:50.430 --> 00:05:58.050
Il ne faut pas l'oublier. Donc, Turing
se pose comme quelqu'un qui invente quoi ?

78
00:05:58.250 --> 00:06:00.630
Il invente une machine.

79
00:06:00.830 --> 00:06:01.710
Où est la 

80
00:06:01.910 --> 00:06:02.670
proportion ?

81
00:06:02.870 --> 00:06:04.050
je n'emploie pas le mot de beauté

82
00:06:04.250 --> 00:06:09.420
ce ne serait pas tout à fait adapté
complètement mais, où est le rapport ?

83
00:06:09.620 --> 00:06:14.400
Le rapport c'est qu'il dit explicitement
que la façon dont il a inventé sa

84
00:06:14.600 --> 00:06:21.030
machine et il le dit explicitement : 
j'ai inventé. Il n'y a pas d'absence de prise

85
00:06:21.230 --> 00:06:21.990
de conscience.

86
00:06:22.190 --> 00:06:29.730
J'ai inventé. J'ai inventé quelque
chose qui est exactement, c'est ça la

87
00:06:29.930 --> 00:06:30.690
proportion.

88
00:06:31.050 --> 00:06:34.950
C'est ça l'adéquation quasiment
qui est exactement la façon dont

89
00:06:35.150 --> 00:06:37.380
un être humain calcule.

90
00:06:38.310 --> 00:06:41.460
Je dis bien : calcule. Addition,
multiplication, division, extraction

91
00:06:41.660 --> 00:06:43.100
de racine carrée éventuellement etc.

92
00:06:44.550 --> 00:06:45.540
Nous calculons.

93
00:06:46.440 --> 00:06:49.560
Certes on a été éduqué pour ça mais
nous calculons, d'une certaine façon :

94
00:06:49.760 --> 00:06:50.520
la machine aussi.

95
00:06:51.490 --> 00:06:52.290
Pas mieux.

96
00:06:53.160 --> 00:06:59.820
C'est là : la proportion. C'est là :
l'adéquation, le rapport. Oui mais

97
00:07:00.180 --> 00:07:07.440
allons un tout petit peu plus loin !
La machine calcule et il y a dans

98
00:07:07.640 --> 00:07:09.740
le mot calcul une fin.

99
00:07:09.940 --> 00:07:16.080
Il y a toujours un autre sens : calculer
son intérêt. Est-ce qu'il n'y a pas

100
00:07:16.280 --> 00:07:17.040
chez Turing ?

101
00:07:17.240 --> 00:07:20.190
C'est une interrogation qu'il a. Est-ce qu'il n'y avait pas chez Turing

102
00:07:20.400 --> 00:07:24.480
une volonté, un désir de gloire

103
00:07:24.680 --> 00:07:29.240
peut-être éventuellement, mais de
faire que la machine pense. Vous avez entendu

104
00:07:29.440 --> 00:07:30.640
il a dit : elle sent ! Enfin, c'est

105
00:07:30.860 --> 00:07:34.890
la pièce de théâtre. Turing
n'emploie pas ces mots là mais, que

106
00:07:35.090 --> 00:07:38.350
la machine pense, à notre place.

107
00:07:40.700 --> 00:07:49.420
Mais cela serait un calcul de volonté de puissance.
Bon, ceci dit, la découverte de Turing

108
00:07:49.720 --> 00:07:56.290
c'est d'abord et avant tout, que
la machine sert un calcul mais

109
00:07:56.490 --> 00:07:59.960
elle ne fait pas autre chose. C'est-à-dire
qu'elle ne peut obtenir que

110
00:08:00.160 --> 00:08:05.210
ce que le mot est de Turing : "computable". En français on met : calculable, ce qui est tout

111
00:08:05.410 --> 00:08:06.900
à fait correct.

112
00:08:07.550 --> 00:08:12.830
C'est-à-dire que la machine elle-même,
en elle-même, de par sa structure

113
00:08:13.280 --> 00:08:15.200
ne peut donner que du calculable.

114
00:08:16.640 --> 00:08:21.980
Or, et c'est ça la remarquable invention
intellectuelle de Turing :

115
00:08:22.580 --> 00:08:27.140
ce qui est calculable, parmi l'ensemble
des nombres auxquels nous pouvons

116
00:08:27.560 --> 00:08:30.020
penser, avec lesquels nous pouvons
travailler etc.

117
00:08:30.220 --> 00:08:32.480
ce qui est calculable, comme on dit
en anglais c'est : "peanuts"!

118
00:08:32.900 --> 00:08:38.120
Il n'y en a pas, pratiquement pas. L'essentiel

119
00:08:38.320 --> 00:08:42.740
des nombres, le développement décimal
illimité etc. n'est pas

120
00:08:43.260 --> 00:08:52.090
calculable donc ne ressortent
pas de la machine de Turing. Or les

121
00:08:52.290 --> 00:08:56.080
hommes pensent des nombres non
calculables.

122
00:08:56.300 --> 00:08:58.860
Ce n'est pas une démonstration que
je suis en train de faire, ni Turing

123
00:08:59.060 --> 00:09:02.560
mais quand même, une puissance
de pensée derrière qui n'est pas

124
00:09:02.760 --> 00:09:08.230
quelconque. Et, de la même façon que
du temps des Grecs, on a inventé

125
00:09:08.430 --> 00:09:10.090
c'est pour ça que j'ai commencé
par un ratio.

126
00:09:10.810 --> 00:09:14.600
On a inventé une expression typiquement
ironique. Les mathématiciens

127
00:09:14.830 --> 00:09:17.980
d'habitude, on prétend qu'ils n'ont
pas d'humour mais en l'occurrence

128
00:09:18.180 --> 00:09:24.070
ils ont eu de l'humour, ils ont inventé
le mot irrationnel, qui veut dire 

129
00:09:24.370 --> 00:09:28.840
ce, sur quoi, je sais calculer. Ce
sur quoi je sais calculer : si racine

130
00:09:29.040 --> 00:09:31.610
carrée de deux et certains nombres
irrationnels.

131
00:09:31.810 --> 00:09:34.690
Il n'empêche que j'ai 
une théorie des proportions précisément

132
00:09:34.900 --> 00:09:36.850
avec laquelle je peux calculer.

133
00:09:37.820 --> 00:09:43.540
Donc, vous voyez la démarche et
l'interrogation de Turing, elle

134
00:09:43.740 --> 00:09:51.010
correspond un peu, à cette
démarche assez générale que nous

135
00:09:51.210 --> 00:09:55.450
pouvons trouver chez un certain
nombre d'inventeurs.

136
00:09:57.010 --> 00:09:59.560
Galilée par exemple, bon c'est l'exemple
typique mais

137
00:10:00.580 --> 00:10:01.420
pourquoi s'en priver.

138
00:10:02.230 --> 00:10:08.200
C'est l'exemple typique de quelqu'un
qui, depuis à peu près 1600

139
00:10:08.400 --> 00:10:15.940
il va mourir en 1642. Depuis
1600, estime que la Terre se meut.

140
00:10:17.200 --> 00:10:23.280
Je ne vais pas dire plus de choses
et en même temps, ne publie pas à

141
00:10:23.480 --> 00:10:31.730
ce sujet. Il ne publie pas parce qu'il
n'a pas à sa disposition de preuves

142
00:10:32.210 --> 00:10:34.170
suffisamment convaincantes. De preuves

143
00:10:35.430 --> 00:10:36.850
elles ne seront pas de type mathématique.

144
00:10:37.530 --> 00:10:44.480
Encore que et l'exemple qu'a trouvé
à un moment donné, tard dans la vie

145
00:10:44.680 --> 00:10:50.450
de Galilée, est l'exemple qu'il a
trouvé qui est tout à fait voisin

146
00:10:50.840 --> 00:10:55.370
de cette histoire dont je parlais
sur l'incalculable chez Turing.

147
00:10:55.800 --> 00:11:01.100
C'est est-ce qu'on ne pourrait
pas prendre l'image de la Terre

148
00:11:01.300 --> 00:11:04.310
comme un bateau qui vogue dans l'espace ?

149
00:11:05.390 --> 00:11:10.440
Si vous êtes sur un bateau, vous
pouvez penser, en montant en haut du mât

150
00:11:11.190 --> 00:11:14.830
qu'en lançant une pierre, en laissant
tomber une pierre du haut du mât

151
00:11:16.300 --> 00:11:18.690
et pas besoin de faire un
interrogatoire mais la pierre tombe

152
00:11:18.890 --> 00:11:23.550
évidemment, au pied du mât. De la
même façon, nous

153
00:11:24.560 --> 00:11:30.050
hommes, vivant sur Terre, nous ne
pouvons pas mettre en évidence le

154
00:11:30.250 --> 00:11:38.090
mouvement de la Terre sauf à sortir
de la Terre ! Mais malgré tout, cette

155
00:11:38.290 --> 00:11:42.260
expérience de pensée, que je viens
d'expliquer, qui est de Galilée lui-même

156
00:11:42.460 --> 00:11:49.400
de même que l'incalculable de
Turing, ce sont en gros, des sortes

157
00:11:49.600 --> 00:11:55.220
de raisonnement par l'absurde. C'est-à-dire
ce n'est plus celui, qui doit

158
00:11:55.420 --> 00:12:00.380
faire la preuve du mouvement de
la Terre, qui est en cause, c'est

159
00:12:00.580 --> 00:12:05.900
celui qui prétend que la Terre est
fixe. Au nom de quoi, si la Terre

160
00:12:06.100 --> 00:12:11.330
est fixe, au nom de quoi la
pierre lancée du haut du mât tombe

161
00:12:11.530 --> 00:12:12.290
au pied du mât ?

162
00:12:15.450 --> 00:12:19.950
La révolution scientifique alors
je ne dis pas que c'est une pratique

163
00:12:20.150 --> 00:12:21.350
de bon sens etc.

164
00:12:21.630 --> 00:12:24.750
mais la révolution scientifique
et celle : la révolution informatique

165
00:12:25.020 --> 00:12:32.160
que fit Turing, sont du même ordre
c'est-à-dire montrer qu'un certain

166
00:12:32.360 --> 00:12:36.060
sens commun, une certaine habitude,
une certaine forme de pensée ne

167
00:12:36.360 --> 00:12:43.090
convient pas. Ne marche pas. Et il faut 
du courage ! Et alors

168
00:12:43.320 --> 00:12:48.830
non seulement il faut du courage
mais souvent, souvent dans les écrits

169
00:12:49.030 --> 00:12:56.270
des scientifiques, on trouve, je pense
précisément à Johannes Kepler dans

170
00:12:56.470 --> 00:13:03.390
un livre qui s'appelle : "l'Astronomie
Nouvelle" en 1609 et là, il est

171
00:13:03.590 --> 00:13:04.740
au milieu d'un calcul, il est en milliers.

172
00:13:05.190 --> 00:13:09.180
Le problème, c'est de montrer les
trajectoires elliptiques des planètes

173
00:13:09.600 --> 00:13:15.150
dont notre Terre. Et il s'arrête. Bon, il écrit
en latin, mauvais d'ailleurs

174
00:13:15.480 --> 00:13:19.270
mais peu importe, et il s'arrête :
"mais je suis fou !

175
00:13:20.870 --> 00:13:25.910
Je suis en train d'essayer de démontrer
le contraire de ce qui est ma motivation !"

176
00:13:26.680 --> 00:13:30.320
et c'est un grand tournant dans
l'affaire de Kepler.

177
00:13:30.860 --> 00:13:35.660
On est sûr à cause des
dates, à cause des manuscrits etc.

178
00:13:35.960 --> 00:13:39.440
on est sûr que ce n'est pas de la
rhétorique. C'est-à-dire que quand

179
00:13:39.640 --> 00:13:41.300
il a commencé à écrire son livre

180
00:13:42.100 --> 00:13:48.380
il ne travaillait pas, il
n'avait pas pensé la bonne solution.

181
00:13:48.650 --> 00:13:51.470
Bon alors je termine, si vous le voulez bien, en
vous lisant parce qu'il me semble

182
00:13:51.670 --> 00:13:54.110
que c'est ça qui permet

183
00:13:54.320 --> 00:13:57.770
peut-être de réfléchir
Sur cette folie de

184
00:13:57.970 --> 00:14:01.150
la nouveauté, mais en même temps,
la douleur hein : "je suis fou !" 

185
00:14:01.350 --> 00:14:05.450
ce n'est pas rien et
je me permets de vous lire

186
00:14:06.150 --> 00:14:11.230
c'est possible ? quelques 
lignes d'un texte admirable, et c'est

187
00:14:11.450 --> 00:14:16.790
en français, c'est ce qui correspond
bien au thème, en tout cas, que je

188
00:14:16.990 --> 00:14:21.680
voulais traiter avec Turing, qui
est : "l'Eloge de la folie" d'Erasme.

189
00:14:21.880 --> 00:14:28.040
Donc un texte du début du 16ème
siècle. "Est-ce aux sages qui, par modestie

190
00:14:28.240 --> 00:14:36.920
ou timidité, ne s'attaquent jamais
à rien ou au fou qui, vide de modestie

191
00:14:37.370 --> 00:14:42.530
et inconscient du danger, ne s'effraie
jamais de rien.

192
00:14:43.100 --> 00:14:47.870
Le sage, se réfugie dans les livres
des anciens et n'en apprend que

193
00:14:48.070 --> 00:14:49.980
de pures arguties de langage.

194
00:14:50.180 --> 00:14:55.490
Le fou, qui aborde les réalités et
en fait l'épreuve corps à corps

195
00:14:56.780 --> 00:14:57.540
c'est lui, si je ne me trompe

196
00:14:58.010 --> 00:15:02.330
qui acquiert
le bon sens."  J'ai oublié de dire

197
00:15:02.530 --> 00:15:06.530
que la personne qui parle : c'est
la folie.  "Bien qu'aveugle

198
00:15:06.830 --> 00:15:14.270
Homère semble avoir vu cela, quand
il dit  : le fou s'instruit à ses dépens."

199
00:15:14.930 --> 00:15:15.690
Je vous remercie.