From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8170 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Ren=E9_Guitart?= Newsgroups: gmane.science.mathematics.categories Subject: Re: Jim Lambek Date: Wed, 25 Jun 2014 11:46:25 +0200 Message-ID: References: Reply-To: =?iso-8859-1?Q?Ren=E9_Guitart?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1403763854 30426 80.91.229.3 (26 Jun 2014 06:24:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 26 Jun 2014 06:24:14 +0000 (UTC) Cc: Categories list To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Thu Jun 26 08:24:08 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X036M-0005FF-Ir for gsmc-categories@m.gmane.org; Thu, 26 Jun 2014 08:24:06 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:45197) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1X035F-00082R-N4; Thu, 26 Jun 2014 03:22:57 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1X035H-0003F0-4J for categories-list@mlist.mta.ca; Thu, 26 Jun 2014 03:22:59 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8170 Archived-At: Cher Michael, Je suis tr=E8s touch=E9 par ce si triste =E9v=E9nement, et je te = prie de pr=E9senter mes condol=E9ances =E0 la famille de Jim, =E0 ses = =E9l=E8ves, =E0 ses amis.=20 Dans les ann=E9es 1970 il a donn=E9 =E0 Paris des cours lumineux = que les jeunes gens de ma g=E9n=E9ration ont suivi avec d=E9lice, y apprenant son style si transparent de clart=E9 alg=E9brique. Apprenant = par exemple ce qu'est vraiment le calcul polynomial (et partant sa = pr=E9sentation du lambda-calcul). Je me souviens aussi, un peu plus tard, de sa construction de = l'adjonction entre les Dog et les Cat (dogmas and categories). Bien s=FBr il a contribu=E9 d=E9cisivement =E0 nombre de = domaines math=E9matiques, logique et linguistique aussi. C'=E9tait non = seulement un grand math=E9maticien, mais aussi un homme courtois et tr=E8s= attentif aux autres. Lors de mon dernier voyage =E0 Montr=E9al en 1998 = ou 1999 je crois, il avait organis=E9 une s=E9ance de S=E9minaire pour = que je puisse y parler, alors que l'ann=E9e acad=E9mique =E9tait d=E9j=E0 = termin=E9e. A ce moment l=E0 le soir nous avions reparl=E9 de ses tr=E8s= jolies papiers sur la grammaire latine, sur la grammaire fran=E7aise, = dont il m'avait donn=E9 des ann=E9es avant les preprints. Ce fut la = derni=E8re fois que je le vis. Bien amicalement, Ren=E9. =20 Le 24 juin 2014 =E0 03:55, Michael Barr a =E9crit : > I regret to inform you all that Jim died this afternoon. His son says = it=20 > was congestive heart failure which is as good a way as any to describe=20= > dying of old age. He was still coming to seminar last fall and = celebrated=20 > his 91st birthday in December in pretty good shape, but has been = gradually=20 > going downhill since. I don't believe he came to the office since = late=20 > fall. He had a good run. >=20 > Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]