[aas1] la chute des chemises

Church etait occuper a ranger des chemises.  Il konstituait des tas temporaires, empilant & depilant c objets ✢ ✣.  Turing ✢

	Alan Mathison Turing ✢ (1912-1954) est 1 mathematissien britanik, auteur 2 l article fondateur 2 la science informatik, ki alait doner le koup d envoi a la kreation des kalculateurs universels programables (ordinateurs).  Il y presente sa machine ✢ ✣ ✤ 2 Turing ✢, le premier kalculateur universel ✢ programable, & invente les koncepts 2 programation & 2 programe.   Il est egalement a l origine 2 la formalisation des koncepts d algorithme & 2 kalculabiliter ki ont profondement marker 7 discipline.  Son modele a kontribuer a etablir definitivement la these 2 Church-Turing, ki done 1 definition mathematik o koncept (intuitif) 2 fonction kalculable.   Durant la Seconde Guere mondiale, il a diriger les recherches sur les kodes secrets generer par la machine ✢ ✣ ✤ Enigma utiliser par les nazis.   Apres la guere ✢ ✣, il a travailler sur 1 des tout ✢ ✣ premiers ordinateurs, puis a kontribuer 2 maniere provocatrisse o debat ✢ ✣ ✤ deja ouleus a 7 periode sur la kapassiter des machines a penser en etablissant le test ✢ 2 Turing ✢.   Vers la fin ✢ ✣ ✤ 2 sa vie ✢ ✣ ✤, il s est interesser a des modeles 2 morphogenese du vivant ✢ ✣ ✤ konduisant o « structures 2 Turing ✢ ».  Il a eter persecuter pour son omosexualiter.  Pour eviter la prison, il est barbarement kondamner ✢ a la kastration chimik par prise d œstrogenes, se ki a pour efet secondaire 2 developer sa poitrine.  Il meurt le 7 juin 1954 d un empoisonement o cianure, 1 suisside selon l enkete ki s ensuivit, koik sa mere ✢ ait defendu la these d un empoisonement accidentel.

ki assistait a se manege dit : « Bien ke tu y mettes les formes, ton action est tres simple.  Meme si tu te deplasses en tous sens ✢ ✣ ✤, & meme si les chemises on+ des positions varier, en fin ✢ ✣ ✤ 2 kompte la seule chose ke tu fais, c est d empiler & 2 depiler.  C est la totaliter ✢ 2 ton activiter ✢ ✣ ✤, tu n accomplis rien ✢ ✣ ✤ d autre

	« C est la totaliter ✢ 2 ton activiter ✢ ✣ ✤, tu n accomplis rien ✢ ✣ ✤ d autre ».  —— Le propre du logissisme, c est 2 reduire le monde existant a la peau ✢ ✣ ✤ du langage ✢ ✣ ✤, & encore pas n importe lekel, celui ke sanctifie l approche logico-mathematik.  Mais le monde est + riche ke cela.  D autre part, on peut aussi prendre l anecdote 2 7 phrase selon 1 sens ✢ ✣ ✤ + kotidien ✢ encore (non ✢ ke celui-ci ne soit pas kotidien ✢...) : 1 approche ✢ profane du monde nous konduit a voyr - 2 richesse dans les autres k il n y en a.  Ki peut dire exactement ou komence, ou s arete l activiter d autrui ?  Non seulement c est diffissile a cerner, mais en 1 sens ✢ ✣ ✤, chak individu sossial est 1 some d individus phisikes.  Le peintre ki expose avec succes ses peintures, il n est pas seuleman 7 ome ✢ ✣ ✤ ki a peint, mais aussi son atacher 2 presse, sa galeriste, les amis ki l ont assister 2 leur soutien, tous ceus ki l ont inspirer, & meme ceus ki se sont oposer a lui.  C est 1 des raisons ✢ ✣ ✤ pourkoi nous devons nous garder 2 porter des jugements sur 1 persone ✢ ✣ ✤ 2 maniere tro nette : 1 persone ✢ ✣ ✤ n est pas en soi manifeste.

. »  

Kom il disait cela, Church

	Alonzo Church (1903-1995) est 1 mathematissien (logissien) americain a ki l on doit certains des fondements ✢ ✣ ✤ 2 l informatik theorik.  Il est konu principalement pour le developement du lambda-calcul, son application a la notion 2 fonction recursive & pour la premiere demonstration 2 l existence d un probleme ✢ ✣ ✤ indessidable.  On l assossie a Alan Turing ✢ o sujet ✢ ✣ 2 la « these 2 Church-Turing ».

se kogna kontre 1 des chemises ki depassait legerement 2 la pile, & fit chuter 7 derniere.

    <<          >>