Comment définir l’écriture aujourd’hui ? C’est à cette question que tente de répondre Clarisse Herrenschmidt en apportant des exemples explicites de la transformation majeure de l’écriture et des signes dans les 20 dernières années avec l’émergence des nouvelles technologies et l’usage de plus en plus diffus de l’ordinateur. Cette révolution graphique se traduit par la transformation de l’écriture en information: à un caractère ou une police correspond un nombre traduit par la machine. Contrairement au langage humain, le langage informatique n’est pas ambigu; il est le produit de la logique informatisée et permet par un ensemble écrit de caractères, de mots, de donner des instructions à l’ordinateur. Cette transformation sémiologique en écriture informatique et téléinformatique change notre mode de pensée et nos habitudes de travail. Nous traitons aujourd’hui la langue, les nombres et la monnaie (via la carte bleue) avec le même outil : l’ordinateur. Dès le départ, la machine a été pensé comme un cerveau informatique; l’organe de pensée humain a été externalisé et projeté dans un artéfact qui est une machine à signes. Mais pour Clarisse Herrenschmidt les interrogations sont ailleurs : que vaut la parole humaine ? Les usages de la parole se sont affadis, aplatis, au détriment des variations infinies que propose une langue. Comment allons-nous parler ? toujours de façon plate et dé-symbolisée ou assisterons-nous à un redéploiement des possibilités ?La conférence a été donnée à l'Université Victor Segalen Bordeaux 2 dans le cadre du cycle de conférences "L'invité du Mercredi" / Saison 2007-2008 sur le thème "Demain, Après-demain". Service culturel Université Victor Segalen de Bordeaux 2 / DCAM /
Mot(s) clés libre(s) : écriture, interaction homme-ordinateur, langage humain, langage informatique, linguistique, sémiologie, signe, traitement automatique du langage naturel

"La "" crise des fondements "" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "" Programme de Hilbert "" (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien. "
Mot(s) clés libre(s) : analyse, arithmétique de Peano, diagonale de Cantor, expansivité, formalisme mathématique, Hilbert, intuitionnisme, langage informatique, paradoxe, Popperisme, récessivité, théorème de Gödel, théorie des ensembles

Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours.
Mot(s) clés libre(s) : affectation, algorithmique, boucle, déclaration, information, instruction, langage informatique, programmation, séquence, syntaxe