Le constructivisme prend sa source, en mathématiques, dans le cadre d'un vaste débat, initialement largement philosophique, tournant autour des notions de continuité et d'infinitude. Cantor, Brouwer, Poincaré et Hilbert furent quelques protagonistes célèbres. Le débat a rebondi vers 1930, suite aux travaux de Gödel puis de Turing, et l'avènement de l'informatique théorique a fait le reste : il n'est désormais plus possible d'ignorer les limites naturelles de la calculabilité.
La physique tarde cependant à emboîter le pas. Pourtant une théorie ambitionnant de décrire le Monde sensible doit permettre le calcul de toute grandeur représentative des systèmes étudiés au moyen d'un algorithme qui se termine.
La Physique classique est analogique, basée sur le dogme du "Tout est continu" et le discret n'y est présent que par pur opportunisme calculatoire. Si la Physique était digitale, elle serait basée sur le principe du "Tout est discret" et le continu n'y serait présent que pour les mêmes raisons !
La situation n'est pas fondamentalement différente en Physique quantique : elle était effectivement constructive à ses origines (Mécanique des Matrices de Heisenberg) et c'est par simple opportunisme calculatoire que la méthode de Schrödinger a fait fortune en réintroduisant le continu. Essayez de calculer le spectre de l'atome d'hydrogène dans la théorie d'Heisenberg : c'est possible, cela a été fait mais c'est un parcours du combattant. Pourtant, Feynman, dans ses célèbres "Lectures on Physics" considérait que la présentation de Schrödinger était dépassée et ne devrait plus être enseignée telle quelle.
Si l'on adopte le point de vue constructiviste, la Physique théorique doit être digitale et c'est la Théorie de l'Information qui offre le cadre idéal pour son développement. Vous trouverez sur ce site quelques séminaires d'initiation aux méthodes constructivistes.
Ces Séminaires se répartissent comme suit (PDF disponibles) :
La théorie du chaos déterministe est un autre sujet à la mode. Son étude numérique a connu des développements considérables parfaitement relatés dans quelques ouvrages devenus des classiques du genre. Il serait parfaitement ridicule que nous cherchions à leur faire concurrence.
Son étude analytique est, par contre, à la traîne. Depuis les premiers travaux de Tabor (et collaborateurs divers, Weiss, Goriely, etc), aucun progrès notable n'a été enregistré depuis 20 ans, à l'exception sans doute des travaux de l'école de Bountis. Le peu qui soit connu n'est même pas diffusé largement. C'est plutôt cette lacune que nous cherchons à combler modestement.
Il est impossible de le faire sans insister sur certains aspects de la théorie des fonctions de variables complexes, largement sous traitées dans les cursus universitaires (je ne parle pas du calcul des résidus ou des transformations conformes mais plutôt des notions de singularités dans le plan complexe, de prolongements analytiques, de temps complexe, etc).
Deux séminaires sont projetés et seul le premier est actuellement disponible, qui expose les pathologies des équations différentielles ordinaires :
En complément, un troisième séminaire est disponible, qui traite du sujet scandaleusement négligé dans l'enseignement universitaire de la théorie de Sophus Lie. Seule la partie réservée aux équations différentielles ordinaires est écrite :
Ce cours, enseigné en son temps par l'auteur aux étudiants en sciences physiques de l'Université de Liège, est entièrement basé sur l'étude des équations aux différences finies (récurrences). A ce titre, il respecte évidemment le point de vue constructiviste, ce que ne fait pas la théorie des équations différentielles où les variables varient continûment. (PDF disponible)
Un ensemble d'articles courts traitant de sujets épars, situés à l'intersection des mathématiques, de la physique et de l'informatique théorique. Des Notebook Mathematica sont éventuellement joints, en versions active (.nb), si vous disposez personnellement du logiciel Mathematica ou éventuellement de son reader et au format passif (.html) sinon.