|
La nature interactive du calcul : réfuter la thèse de Church-Turing forte| old_uid | 11829 |
|---|
| title | La nature interactive du calcul : réfuter la thèse de Church-Turing forte |
|---|
| start_date | 2012/11/16 |
|---|
| schedule | 14h30-16h30 |
|---|
| online | no |
|---|
| location_info | salle F 11 |
|---|
| summary | « Depuis une quinzaine d'années Peter Wegner défend le point de vue que le modèle de la calculabilité classique tel qu'il est résumé dans la thèse de Church-Turing forte est dépassé par l'interactivité du calcul, qui de Google à Wikipédia traduit notre rapport à l'ordinateur. Dans cet exposé, j’examinerai ce point de vue à la lumière des derniers articles de Dina Goldin et Peter Wegner. »
Le Séminaire sera précédé le matin (10h30-13h; même salle) du Séminaire Doctoral d'Etudes Cognitives sur d'autres apsects de la théorie de la calculabilité et de ses rapports avec une théorie de la cognition:
.Florent Franchette - Philosophie, Paris I, IHPST
La thèse de Church-Turing délimite-elle les limites du calcul cognitif ?
.Maël Pégny - Philosophie, Paris I
Le sens de la complexité. Physique quantique et difficulté du calcul. |
|---|
| responsibles | Roy, Saint-Germier |
|---|
| |
|