Calculabilité, hasard et leurs applications
20 au 24 juin 2016
|
La théorie effective (ou algorithmique) de l’aléatoire a pour but de donner un sens précis à la notion d’objet individuel aléatoire, grâce à la théorie de la calculabilité. Initiée par Chaitin, Kolmogorov et Solomonoff dans les années 1960. Elle a connu un essor rapide dans les années 2000.
Les grands progrès réalisés dans cette discipline commencent tout juste à trouver des applications dans d’autres domaines des mathématiques et de l’informatique théorique. Citons notamment: les systèmes dynamiques discrets, la théorie de l’information, l’analyse calculable, la théorie de la preuve et les mathématiques à rebours. Le but de cette conférence est de promouvoir ces différentes applications de la théorie effective de l’aléatoire, et de la calculabilité en général. Elle se veut aussi pluridisciplinaire que possible, avec des chercheurs représentant tous les domaines ci-dessus. |
Comité scientifique & Comité d’organisation
Laurent Bienvenu (Université Paris Diderot) Conférenciers
Independence of normal words
Random numbers as probabilities of machine behaviour
Density-1-bounding and quasiminimality in the generic and coarse degrees
The Computational Power of Sets of Random Strings
Zero sets and local time of algorithmically random Brownian motion
Carleson’s Theorem and Schnorr randomness
On the algorithmics of entropy of computable metric spaces
On the periodicity of multidimensional words of low complexity
Borel isomorphism and computability
A derivation on the field of d.c.e.reals
On totally omega-c.e. degrees and complex left-c.e.reals
A resolution of the Gamma question
Randomness connecting to set theory and to reverse mathematics
Gambling against some odds
On centauric subshifts
Ultralimits anc computability
On Block Pumpable Languages
Turing degree spectra of minimal subshifts
Seas of squares
On higher Friedman’s conjecture |