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.

. »  

§.2  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.

    <<          >>