In memoriam, Ken Robinson

J'ai appris récemment son décès quand j'ai voulu informer Ken Robinson de la conférence sur les travaux de J.R. Abrial.

Ken, toujours le sourire aux lèvres. Un type charmant. Il est venu au moins deux fois aux conférences B à Nantes.

Jonathan Bowen et d'autres nous en disent plus sur Ken. 

 https://www.bcs.org/media/6694/facs-feb21.pdf 

ou sur

https://www.researchgate.net/publication/365583154_Ken_Robinson_-_A_Remembrance 

 

https://en.wikipedia.org/wiki/Ken_Robinson_(computer_scientist) 

 

https://www.unsw.edu.au/news/2020/09/remembering-ken-robinson 

 Des "slides" de Ken

https://cgi.cse.unsw.edu.au/~cs2111/ClassicalB/PDF/intro-b-method-slides.pdf 

MACHINE Fermat
CONSTANTS EXP
PROPERTIES
        EXP : NAT*NAT --> NAT &
       !xx.(xx:NAT => EXP(xx,0) = 1) &
       !(xx,nn).(xx:NAT & nn:NAT1 =>
       EXP(xx,nn) = xx*EXP(xx,nn-1))
OPERATIONS
   aa,bb,cc <-- Fermat(nn) =
     PRE nn : NAT
     THEN ANY xx,yy,zz
          WHERE xx:NAT & yy:NAT & zz:NAT &
          EXP(xx,nn)+EXP(yy,nn) = EXP(zz,nn)
    THEN aa,bb,cc := xx,yy,zz
    END
 END
END 

et je n'y avais pas pensé après le mariage de mon fils dans la Salle des Illustres au Capitole de Toulouse !

https://france3-regions.franceinfo.fr/occitanie/haute-garonne/toulouse/toulouse-salle-illustres-du-capitole-effervescence-artistique-1233683.html 

 Ah ! je me trompe, c'est salle Henri Martin ! me dit Wikipedia.! ce n'est pas le même que celui dont le nom était écrit en gros sur le pont de chemin de fer à côté de la gare de Saint-Yrieix-la-Perche ! "Libérez Henri Martin".

https://saintyrieixlaperche.wordpress.com/2020/02/09/je-me-souviens-du-libraire-henri-martin-de-liberez-henri-martin-et-de-la-case-avenue-henri-martin-du-monopoly/ 

https://fr.wikipedia.org/wiki/Henri_Martin_(peintre) 

 Fermat et son "théorème" (sa conjecture, maintenant démontrée avec l'aide de l'informatique). Cette conjecture que j'ai vue en vrai de vrai lors d'une conférence à la Sorbonne.