Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

16/10/2010

À partir de l’incomplétude : indécidabilité logique et aléatoire physique

Source : http://www.diffusion.ens.fr/index.php?res=conf&idconf...

 

Séance 1 - Mathématiques, physique et philosophie, une introduction
Giuseppe Longo (CNRS)

[9 mars 2010 à 17h00]

>> enregistrement [|suivant] de À partir de l’incomplétude : indécidabilité logique et aléatoire physique

Savoir positif et savoir critique ou l’importance des résultats négatifs : du Théorème des Trois Corps de Poincaré à l’incomplétude de Gödel. L’aléatoire et la physique quantique : la question de la mesure. L’alphabet et la détermination : le mythe de la complétude des analyses moléculaires en biologie.

Ressources en ligne [aide technique|droit d’auteur]

Enregistrement audio du cours n° 1 de Giuseppe Longo

Écouter
pictogramme format audio mp3 - 36.18 Mo

Enregistrement vidéo du cours n° 1 de Giuseppe Longo

- Visualiser 
- Télécharger
pictogramme format quicktime mov, vidéo à la demande / streaming

Giuseppe Longo

Giuseppe Longo (CNRS)
Équipe "Complexité et information morphologiques" (CIM), Laboratoire d’Informatique de l’ENS (LIENS).
Membre à temps partiel du CREA, Ecole Polytechnique.
Membre co-fondateur du CenECC, ENS. 
Ancien responsable de l’équipe Langages, Types et Logique, LIENS.
Ancien Professeur ("Professore Ordinario") d’Informatique, Universita’ di Pisa.

À partir de l’incomplétude : indécidabilité logique et aléatoire physique

En 1890, Poincaré présente son grand théorème sur l’imprédictibilité de certaines dynamiques physiques comme “résultat négatif” ; il constitue en fait un passage important pour la compréhension de l’aléatoire classique. Un autre grand “non”, l’incomplétude de tout formalisme suffisamment expressif, est au cœur du célèbre article de Gödel de 1931 ; la notion d’incomplétude sera utilisé aussi dans un célèbre article d’Einstein, Podolsky et Rosen de 1935 (EPR) au sujet de la mécanique quantique. L’aléatoire mathématique (asymptotique) nous permettra de corréler ces cadres très différents et de poser le problème de l’aléatoire en biologie.
Dans les six séances de ce cours, nous nous proposons de présenter une réflexion philosophique et certains aspects mathématiques de ces incidences de l’incomplétude logique et de l’imprédictibilité physique, comme forme de l’aléatoire, ainsi que quelques résonances contemporaines. Au-delà de la première leçon, totalement informelle, nous tenterons d’introduire les notations mathématiques utilisées et également d’expliciter les cadres conceptuels et l’impact philosophique des résultats techniques présentés.
Pour en savoir plus sur ce cycle ...

>> enregistrement [|suivant] de À partir de l’incomplétude : indécidabilité logique et aléatoire physique

Liste complète des enregistrements de ce cycle par ordre chronologique :

Consulter les autres cycles du même groupe : 

Les commentaires sont fermés.