[aax1] la chute des chemises

Church était occupé à ranger des chemises.  ²Il constituait des tas temporaires, empilant et dépilant ces objets ✢ ✣.  ³Turing ✢

	Alan Mathison Turing ✢ (1912-1954) est un mathématicien britannique, auteur de l'article fondateur de la science informatique, qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs).  Il y présente sa machine ✢ ✣ ✤ de Turing ✢, le premier calculateur universel ✢ programmable, et invente les concepts de programmation et de programme.   Il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline.  Son modèle a contribué à établir définitivement la thèse de Church-Turing, qui donne une définition mathématique au concept (intuitif) de fonction calculable.   Durant la Seconde Guerre mondiale, il a dirigé les recherches sur les codes secrets générés par la machine ✢ ✣ ✤ Enigma utilisée par les nazis.   Après la guerre ✢ ✣, il a travaillé sur un des tout ✢ ✣ premiers ordinateurs, puis a contribué de manière provocatrice au débat ✢ ✣ ✤ déjà houleux à cette période sur la capacité des machines à penser en établissant le test ✢ de Turing ✢.   Vers la fin ✢ ✣ ✤ de sa vie ✢ ✣ ✤, il s'est intéressé à des modèles de morphogenèse du vivant ✢ ✣ ✤ conduisant aux « structures de Turing ✢ ».  Il a été persécuté pour son homosexualité.  Pour éviter la prison, il est barbarement condamné ✢ à la castration chimique par prise d'œstrogènes, ce qui a pour effet secondaire de développer sa poitrine.  Il meurt le 7 juin 1954 d'un empoisonnement au cyanure, un suicide selon l'enquête qui s'ensuivit, quoique sa mère ✢ ait défendu la thèse d'un empoisonnement accidentel.

qui assistait à ce manège dit : « ⁴Bien que tu y mettes les formes, ton action est très simple.  ⁵Même si tu te déplaces en tous sens ✢ ✣ ✤, et même si les chemises ont des positions variées, en fin ✢ ✣ ✤ de compte la seule chose que tu fais, c'est d'empiler et de dépiler.  ⁶C'est la totalité ✢ de ton activité ✢ ✣ ✤, tu n'accomplis rien ✢ ✣ ✤ d'autre

	« C'est la totalité ✢ de ton activité ✢ ✣ ✤, tu n'accomplis rien ✢ ✣ ✤ d'autre ».  —— Le propre du logicisme, c'est de réduire le monde existant à la peau ✢ ✣ ✤ du langage ✢ ✣ ✤, et encore pas n'importe lequel, celui que sanctifie l'approche logico-mathématique.  Mais le monde est plus riche que cela.  D'autre part, on peut aussi prendre l'anecdote de cette phrase selon un sens ✢ ✣ ✤ plus quotidien ✢ encore (non ✢ que celui-ci ne soit pas quotidien ✢...) : une approche ✢ profane du monde nous conduit à voir moins de richesse dans les autres qu'il n'y en a.  Qui peut dire exactement où commence, où s'arrête l'activité d'autrui ?  Non seulement c'est difficile à cerner, mais en un sens ✢ ✣ ✤, chaque individu social est une somme d'individus physiques.  Le peintre qui expose avec succès ses peintures, il n'est pas seulement cet homme ✢ ✣ ✤ qui a peint, mais aussi son attaché de presse, sa galeriste, les amis qui l'ont assisté de leur soutien, tous ceux qui l'ont inspiré, et même ceux qui se sont opposés à lui.  C'est une des raisons ✢ ✣ ✤ pourquoi nous devons nous garder de porter des jugements sur une personne ✢ ✣ ✤ de manière trop nette : une personne ✢ ✣ ✤ n'est pas en soi manifeste.

. »  

⁷Comme il disait cela, Church

	Alonzo Church (1903-1995) est un mathématicien (logicien) américain à qui l'on doit certains des fondements ✢ ✣ ✤ de l'informatique théorique.  Il est connu principalement pour le développement du lambda-calcul, son application à la notion de fonction récursive et pour la première démonstration de l'existence d'un problème ✢ ✣ ✤ indécidable.  On l'associe à Alan Turing ✢ au sujet ✢ ✣ de la « thèse de Church-Turing ».

se cogna contre une des chemises qui dépassait légèrement de la pile, et fit chuter cette dernière.

    <<          >>