Académique Documents
Professionnel Documents
Culture Documents
Espace Temps
Espace Temps
Giuseppe LONGO
G. LONGO
programmatic paper focuses on an epistemological approach to
foundations, at the core of which is the analysis of the knowledge
process , as a constitutive path from cognitive experiences to
mathematical concepts and structures.
Keywords: geometry, space and time, complexity, neural system,
epistemology.
Husserl, 1933.
Le point dintersection des cercles centrs sur les points terminaux ( les extrmits dun
segment sont des points ) est donn par la continuit dite parmnidienne des lignes
(circulaires), puisque un point est ce qui est sans parties et que deux longueurs sans
paisseur , c.--d. deux lignes, engendrent, par leur intersection, ce qui est sans
parties . De sorte que, chez Euclide, un point est donn comme rsultat de lintersection
de deux lignes (comme la aussi remarqu Wittgenstein). Seule une rcriture formaliste
de la gomtrie grecque peut prtendre que ce thorme nest pas lobjet dune
dmonstration rigoureuse de la part dEuclide (cf. Heath 1908, et un sicle de
commentaires).
3
Riemann, 1854 ; cf. aussi Boi, 1995, Bottazzini et Tazzioli, 1995.
G. LONGO
Connes, 1994.
Il nest plus question didaux maximaux, et les trajectoires se rapprochent des
chemins drivs de la notion dintgrale de Feinman.
7
G. LONGO
Poincar, 1902.
Heinzmann, 1998.
Nabonnand, 2001.
11
Husserl, 1933.
12
Cf. pour des rfrences bibliographiques : Nabonnand, 2000.
13
Poincar, 1908.
14
Cf. notre manifeste sur le rseau, Longo et al., 1999 et Longo, 2001.
10
G. LONGO
Bottazzini, 1999.
Girard, 2001.
10
G. LONGO
Poincar, 1908.
Asperti et Longo, 1991, Longo, 2002. Les historiens nous disent que Hilbert ntait pas
formaliste, et il est vrai quil ntait pas indiffrent aux structures, ni la signification
physique, en mathmatiques. Toutefois, la perspective technique de son ouvrage de 1899,
et de l, le programme fondationnel dfini entre 1900 et les annes 20, est devenue le
paradigme du formalisme qui a grev le sicle dernier de lhypothque dune analyse
incomplte des fondements. On a tent de ractiver ce programme de Hilbert, mais cest
plutt celui de Poincar quil faudrait ractiver pour comprendre la pertinence des
mathmatiques pour la connaissance de lespace et la cognition.
22
Girard, 2001.
23
La dfinition trs gnrale de gomtrique comme sensible aux codages est le
rsultat d'une longue et passionnante discussion avec J.Y. Girard la terrasse ensoleille
dun caf Marseille, en avril 2001, sur ce que gomtrique voulait dire et qui tait
commun, dans nos diffrents projets scientifiques.
21
11
12
G. LONGO
13
29
ces nouveaux secteurs de linformatique, on est surpris de voir sappliquer des travaux
de Serre en gomtrie pure et gomtrie algbrique, cf. Goubault, 2000.
30
Goubault, 2000.
14
G. LONGO
Il ny a, bien sr, aucun sens vouloir coder tout cela dans des
machines de Turing, parce que des systmes concurrents ne traitent
pas uniquement des suites de 0 et de 1, mais quils ont un flux
dentre et de sortie, quils sont ouverts aux interactions avec
lenvironnement, sans parler du problme complexe du temps,
relationnel et arborescent. Leur simulation par machines
squentielles requiert la construction de quotients sur les chemins de
calcul, une simulation modulo qui est loin dtre standardise ou
unique, mais qui est souvent ad hoc et passe ct du dfi que
constitue le calcul concurrent31. Par exemple, dans ces systmes, plus
que la relation dentre - sortie, cest le mode dvolution dun calcul
dans lespace et le temps qui compte. En guise dobservable on a
ici des structures spatio-temporelles ; ils posent de nouvelles
questions et procurent de nouvelles intuitions. De nombreux
problmes restent ouverts, dont celui des systmes (distribus, non
squentiels) admettant des dfauts tolrables, savoir de (petites)
dformations continues lintrieur dune classe dhomotopie ; celui
de la synchronisation : un systme est distribu quand le temps
requis pour faire communiquer les processus est du mme ordre de
grandeur que le pas lmentaire du calcul dans un processus. Ce
dernier tant aujourdhui dune nanoseconde, laps de temps pendant
lequel la lumire ne fait que 30 cm, la synchronisation dun systme
concurrent qui serait distribu la surface de la Terre (donc dans des
systmes dacclrations diffrents) pourra se heurter des
problmes relativistes, avec toutes les difficults de calcul des dlais
relativistes32.
Concluons que mme les calculateurs numriques, une fois quon
les a rintgrs lespace physique, sont loin de raliser le projet
fonctionnaliste, daprs lequel une machine de Turing, pourvu quon
y encode le monde, reprsentera nimporte quel systme physique, y
compris les systmes biologiques, bien entendu. Il suffit de prendre
en compte la distribution dans lespace de ces mmes machines pour
que changent, avant mme les rponses, les questions poser au
systme physique quon veut comprendre.
4. VIVRE DANS LESPACE ET LE TEMPS
Pour nous, les phnomnes cognitifs appartiennent au vivant,
domaine qui inclut de la cellule lhomme. Dautres peuvent
sintresser la cognition pour des entits immatrielles sur Sirius,
ou encore des ordinateurs de divers types : on change de sujet. Le
cerveau est, nous ladmettons, une machine matrielle, mais vivante,
31
15
qui chez les humains ne vit que dans son cosystme privilgi, qui
est le crne dun homme vivant dans lhistoire (la mmoire
commune dune communaut communicante). Si lon peut,
sporadiquement, isoler certaines performances cognitives et les
transfrer des machines, cela ne change rien au fait que la cognition
humaine dpend de la vie, ce qui ne veut pas dire quelle se rduise
la biologie comme science, parce quelle dpend aussi du langage et
de lhistoire. Notre connaissance du vivant ne saurait, avec son
caractre hautement volutif, nous procurer une explication complte
de phnomnes qui ont requis jusqu maintenant des mthodes aussi
diffrentes que celles des sciences de la communication et des
sciences historiques. Slever une synthse nouvelle est le dfi que
les sciences cognitives ont relever aujourdhui.
Les phnomnes du vivant mettent galement la mathmatique au
dfi par leur caractre spatio-temporel, puisque depuis la structure
tridimensionnelle de lADN et les protines (briques lmentaires du
vivant, sinon vivantes elles-mmes) qui se plient et se dplient, tout
processus vital est une dynamique de formes. De cette organisation
spatiale, il faut tenir compte pour comprendre la complexit des
structures du vivant. Leur fonctionnalit est manque par un
encodage linaire comme celui dune description sur la bande dune
machine de Turing33. De mme, nous tenons que toutes les fonctions
cognitives sont des piphnomnes irrductibles de la vie.
Revenons la thorie classique de la calculabilit pour avoir un
terme de comparaison avec la complexit des phnomnes de la vie
et de la cognition. Quelle que soit la capacit expressive de cette
thorie son caractre compositionnel lui ferme les systmes non
compositionnels, dont les plus intressants pour notre propos sont les
systmes dynamiques. Exemple. Le mouvement de corps plantaires
obit aux lois de la gravitation de Newton. Considrons
indpendamment deux systmes de deux corps : ces deux systmes
indpendants se stabilisent en orbites priodiques, comme la prdit
Kpler. Mais, si vous mettez ensemble les quatre corps, daprs la
clbre analyse de Poincar, il sensuit une organisation spatiale
indite, un comportement chaotique, tel que le systme form par ces
quatre corps ne peut pas tre considr comme la composition des
deux systmes de deux corps. En conclusion, il suffit de passer de la
machine de Turing bande unidimensionnelle, ou tout systme de
rgles formelles quivalent, des systmes distribus concurrents de
calcul ou des systmes gravitationnels un peu riches, pour avoir
besoin dune mathmatique entirement nouvelle.
Cette confrontation avec quelques ordinateurs ou corps
gravitationnels suffit pour faire justice du mythe fonctionnaliste de
lindpendance des codages et des structures prtes aux
33
16
G. LONGO
17
18
G. LONGO
19
20
G. LONGO
Weyl, 1927.
21
Rfrences bibliographiques
(Les articles de G. Longo sont tlchargeables ladresse
www.di.ens.fr/users/longo)
Aceto L., Bjorn V., Longo G. (eds.) (2003). The difference between Turing
Computability and Concurrent Systems, Special issue, Mathematical
Structures in Computer Science, n. 4-5, vol. 13, Cambridge U.P.
Asperti A., Longo G. (1991). Categories, Types and Structures, M.I.T.
Press.
Bahsoun J., Fiadero J. and Galmiche D. (eds) (1999). Proof Theory of
Concurrent Object-Oriented Programming, Special issue, Mathematical
Structures in Computer Science, Cambridge U.P., vol. 9, n. 3.
Bailly F. (1991). L'anneau des disciplines, numro spcial de la Revue
Internationale de systmique, vol. 5, n. 3.
Bailly F., Gaill F., Mosseri R. (1993). Orgons and Biolons in Theoretical
Biology, Acta Biotheoretica 41, 3-11.
Bailly F., Gaill F., Mosseri R. (1994). Morphogense et croissance
biologique : un modle dynamique simple pour le poumon dans La
biologie thorique a Solignac, Edition Polytechnica, 65-94.
Bailly F., Longo G. (2003). Objective and Epistemic Complexity in Biology
(en preparation).
Barendregt, H. (1984). The lambda calculus: its syntax and semantics,
Revised edition, North Holland.
Berthoz A. (1997). Le sens du mouvement, O. Jacob (english transl.,
Harvard U.P. ; trad. italiana presso Boringhieri. (voir
http://www.dmi.ens.fr/users/longo pour un compte-rendu)
Bottazzini U. (1999). Poincar, Le Scienze.
Bottazzini U., Tazzioli R. (1995). Naturphilosophie and its role in
Riemann's Mathematics, Revue d'Histoire des Mathmatiques n. 1, 3-38.
Boi L. (1995). Le problme mathmatique de l'espace, Springer.
Brown J.H. (1999). West G. Scaling in Biology, Santa Fe Institute
Publication.
Connes A. (1994). Non-commutative Geometry, Academic Press.
Edelman G. (1987). Neural Darwinism, Basic Books.
Edelman G. A (2000). Universe of Consciousness. How Matter Becomes
Imagination, Basic Books.
Farge M., Kevlhand N., Perrier V., Goirand E. (1996). Wavelets and
Turbulence, Proceedings of the IEEEE, 84, n. 4, p. 639 669.
Frege G., (1873). On a Geometrical Representation of Imaginary Forms in
the Plane, in Collected Papers on Mathematics, Logic and Philosophy,
McGuiness, B. (ed.), Basil Blackwell, Oxford (1984).
22
G. LONGO
23