Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Xavier Verley
Les articles publiés sur Philopsis sont protégés par le droit d'auteur. Toute
reproduction intégrale ou partielle doit faire l'objet d'une demande
d'autorisation auprès des éditeurs et des auteurs. Vous pouvez citer librement
cet article en en mentionnant l’auteur et la provenance.
1 - L’invention et l’intuition
3
Poincaré : La science et l’hypothèse (SH), Introduction, Champs Flammarion, p.
24. Pour les autres ouvrages de l’auteur, nous utiliserons les abréviations suivantes.
Science et méthode (SM), Flammarion, 1916 ; La valeur de la science (VS) Champs
Flammarion, Dernières pensées (DP) , Flammarion, 1963.
4
Poincaré adhère sans réserve au principe d’« économie de la pensée » de Mach.
5
SH, 77.
6
SH, 91
7
Poincaré n’a pas besoin de réifier les possibles (abstraction métaphysique)
puisqu’il réduit l’existence mathématique à la non contradiction.
8
« Si l’espace géométrique était un cadre imposé à chacune de nos représentations,
considérée individuellement, il serait impossible de se représenter une image
dépouillée de ce cadre, et nous ne pourrions rien changer à notre géométrie. Mais il
n’en est pas ainsi, la géométrie n’est que le résumé des lois suivant lesquelles se
succèdent ces images. Rien n’empêche alors d’imaginer une série de
représentations, de tout point semblables à nos représentations ordinaires, mais se
succédant d’après des lois différentes de celles auxquelles nous sommes
accoutumés. On conçoit alors que des êtres dont l’éducation se ferait dans un milieu
où ces lois seraient ainsi bouleversées pourraient avoir une géométrie différente de
la nôtre. » SH, 88.
9
SH, 93.
10
SH, 77.
11
SM, 104
12
DP, Les fondements de géométrie, p. 161/185.
13
SH, 55
14
Ne parle-t-il pas d’un travail inconscient à propos de l’invention mathématique ?
SM, 53 sqq.
15
VS, ch. 1, Intuition et logique en mathématique.
16
VS, p. 36.
17
Id., p. 37.
18
Dans la question du fondement des mathématiques, la référence au jeu d’échecs,
présente chez beaucoup de logiciens ou mathématiciens (Hilbert et Carnap) justifie
la réduction au formalisme. Poincaré montre que même dans le jeu d’échecs les
coups ne résultent pas d’une déduction logique mais d’une appréhension des
relations entre les différents coups par une sorte de choix. Dans les fondements
axiomatiques de la théorie des ensembles, l’axiome de choix (Zermelo), qui a un
sens différent de celui que lui donne Poincaré, a suscité des controverses. Brouwer
développe aussi l’idée de suite de choix ; voir Jean Largeault, Intuition et
intuitionisme, ch. V, « Le second acte de l’intuitionisme et les principes de
l’analyse », p. 111.
19
SM, 47.
20
Jacques Hadamard pose bien le problème du rapport de l’invention et de la
découverte dans l’Introduction à l’Essai sur la psychologie de l’invention dans le
domaine mathématique.
25
SM, 165/6, SM, 141.
26
SM, 138/9.
27
Id., p. 38/9.
28
DP, 30/1
29
SH, 159.
30
SH, p. 120.
31
SH, 125
32
SH, p. 123.
33
SH, p. 123.
34
Otto Neurath, « Énoncés protocolaires » in Manifeste du Cercle de Vienne et
autres essais, Sous la direction de Antonia Soulez, p. 223
35
SH, p. 43.
36
Mêmes les logiciens se méfient de ce terme ; la peur des antinomies (du menteur
par exemple) les conduit à le remplacer par « analytique » (Carnap).
37
SH, 213.
38
SH, 183.
39
SH, 183.