Que noticia triste! Anne sempre foi uma das pessoas fundamentais de Teoria da Prova e de Constructivismo em geral.
On Mon, Mar 11, 2019 at 7:00 PM Joao Marcos <[email protected]> wrote: > ---------- Forwarded message --------- > > Dear all, > > Sadly, we have to inform you that Anne Troelstra, after a short > illness, suddenly died on March 7th, aged 79. A world-renowned eminent > researcher, a supportive colleague, a teacher who trained many > students to become important scholars, is no longer with us. Beginning > in 1957 as a mathematics student, he remained at the University of > Amsterdam all his life, except for a number of visiting > professorships. He rose quickly to take his place as the successor of > Brouwer and Heyting. As a full professor from 1970, he was the > universally recognized authority on intuitionism and constructivism in > general, leaving behind a number of books that will remain landmarks > for many years to come. Retiring in 2000, he made a further name for > himself as an author on natural history travel narratives. Anne was > regularly seen at the ILLC until this year. His impressive > personality, always intensely occupied with his present interests, > will be greatly missed. > > An obituary website is in preparation, and will be on-line soon. > > There is a condolence card in the ILLC Office for people to sign. > > Sincerely, > > Sonja Smets, director ILLC > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhpiXzhNQ5r%2BYttqCQRuhq4s6OqoN%3DgesySkpE1s0A9zQ%40mail.gmail.com > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtnTsOXJKo0qZW-P90XZXYe%3DkJTg%2Bozp5v7CLO%2BRiLJQw%40mail.gmail.com.
