From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Mon, 2 Oct 2017 06:20:11 -0700 (PDT) From: Marcelo Fiore To: Homotopy Type Theory Message-Id: <3ef2fb8e-3b05-4437-9739-500d2ba4f2c5@googlegroups.com> In-Reply-To: References: Subject: Re: [HoTT] Vladimir Voevodsky MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_9618_258901068.1506950411959" ------=_Part_9618_258901068.1506950411959 Content-Type: multipart/alternative; boundary="----=_Part_9619_113177861.1506950411959" ------=_Part_9619_113177861.1506950411959 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear All,=20 This is shocking news indeed. =20 I only got to know Vladimir quite recently, while he kindly came to visit= =20 me=20 at the end of April, before the Big Proof INI programme. He arrived at the= =20 Computer Lab and immediately wanted to discuss mathematics, specifically=20 that of type systems, which we did on the first day and regularly=20 thereafter. =20 It took us a bit of time to understand how to interact mathematically with= =20 each other, but we got there. In the process, we did some work together=20 and I got fond of him. It is a real shame that he won't be around;=20 personally=20 because we had plans but, most importantly, for the loss that it represents= =20 to the field. Marcelo Fiore. On Sunday, 1 October 2017 21:09:19 UTC+1, Krzysztof Kapulkin wrote: > > Dear all,=20 > > This is very sad news indeed.=20 > > For the past three decades, Vladimir has been a leading figure in=20 > mathematics, making landmark contributions to several areas: algebraic=20 > geometry, homotopy theory, and number theory, among others. In his=20 > work he settled multiple open problems, including the conjectures of=20 > Milnor and Bloch-Kato, and his insights led to the creation of whole=20 > new areas of mathematics such as motivic homotopy theory and homotopy=20 > type theory.=20 > > Vladimir's style of doing mathematics can be compared only to=20 > Grothendieck's. Those of us who had an honor of working with him know=20 > that, faced with a problem, he would always rethink its basic=20 > definitions and assumptions, to find an elegant and clean solution. He=20 > saw structure where the rest of us were only able to see chaos.=20 > > In all aspects of his work, Vladimir was a visionary. He put forward=20 > ideas that seemed unrealistic at first, and then systematically=20 > completed them. He had a clear set of principles that he followed, but=20 > he was not stubborn. On the contrary, even as a beginning graduate=20 > student, I consistently felt that Vladimir treated me, and everyone=20 > else, with an incredible amount of respect and would come to every=20 > conversation ready to change his opinion.=20 > > Vladimir has shaped the way I think about mathematics and how I=20 > perceive the beauty of it. Every single conversation that we had made=20 > me a better mathematician, and I still have to come to terms with the=20 > fact that there are so many questions I will not get to ask him.=20 > > Our community has lost its creator and the greatest of its members. I=20 > have lost a mentor, a collaborator, and a friend.=20 > > Chris Kapulkin=20 > > On Sun, Oct 1, 2017 at 12:25 AM, Daniel R. Grayson=20 > > wrote:=20 > > Dear Colleagues,=20 > >=20 > > The following message from the director of the Institute for Advanced= =20 > Study=20 > > in Princeton announces=20 > > sad news:=20 > >=20 > > ---------- Forwarded message ----------=20 > > Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT)=20 > > From: Robbert Dijkgraaf=20 > > Subject: Sad news=20 > >=20 > > Dear Colleagues,=20 > >=20 > > It is with a heavy heart that I write to share some very sad news. Our= =20 > dear=20 > > colleague and friend, Vladimir Voevodsky, Professor in the School of=20 > > Mathematics, passed away unexpectedly this morning.=20 > >=20 > > Vladimir was a truly extraordinary mathematician and integral part of= =20 > our=20 > > community. His death is a tremendous loss for the Institute and for the= =20 > > world. We will all miss him dearly and extend our deepest condolences t= o=20 > > Vladimir=E2=80=99s family and his many colleagues and collaborators aro= und the=20 > > world.=20 > >=20 > > We will soon be sharing more information about a gathering to celebrate= =20 > > Vladimir=E2=80=99s life and legacy.=20 > >=20 > > Robbert=20 > >=20 > > --=20 > > You received this message because you are subscribed to the Google=20 > Groups=20 > > "Homotopy Type Theory" group.=20 > > To unsubscribe from this group and stop receiving emails from it, send= =20 > an=20 > > email to HomotopyTypeThe...@googlegroups.com .=20 > > For more options, visit https://groups.google.com/d/optout.=20 > ------=_Part_9619_113177861.1506950411959 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Dear All,

This is shocking news indeed.=C2=A0
=
I only got to know Vladimir quite recently, while he kindly came to vis= it me
at the end of April, before the Big Proof INI programme.=C2=A0 He= arrived at the
Computer Lab and immediately wanted to discuss mathemat= ics, specifically
that of type systems, which we did on the first day a= nd regularly thereafter.=C2=A0
It took us a bit of time to understand h= ow to interact mathematically with
each other, but we got there.=C2=A0 = In the process, we did some work together
and I got fond of him.=C2=A0 = It is a real shame that he won't be around; personally
because we h= ad plans but, most importantly, for the loss that it represents
to the = field.

Marcelo Fiore.


On Sunday, 1 October 2017 21:09:19 = UTC+1, Krzysztof Kapulkin wrote:
Dear all,

This is very sad news indeed.

For the past three decades, Vladimir has been a leading figure in
mathematics, making landmark contributions to several areas: algebraic
geometry, homotopy theory, and number theory, among others. In his
work he settled multiple open problems, including the conjectures of
Milnor and Bloch-Kato, and his insights led to the creation of whole
new areas of mathematics such as motivic homotopy theory and homotopy
type theory.

Vladimir's style of doing mathematics can be compared only to
Grothendieck's. Those of us who had an honor of working with him kn= ow
that, faced with a problem, he would always rethink its basic
definitions and assumptions, to find an elegant and clean solution. He
saw structure where the rest of us were only able to see chaos.

In all aspects of his work, Vladimir was a visionary. He put forward
ideas that seemed unrealistic at first, and then systematically
completed them. He had a clear set of principles that he followed, but
he was not stubborn. On the contrary, even as a beginning graduate
student, I consistently felt that Vladimir treated me, and everyone
else, with an incredible amount of respect and would come to every
conversation ready to change his opinion.

Vladimir has shaped the way I think about mathematics and how I
perceive the beauty of it. Every single conversation that we had made
me a better mathematician, and I still have to come to terms with the
fact that there are so many questions I will not get to ask him.

Our community has lost its creator and the greatest of its members. I
have lost a mentor, a collaborator, and a friend.

Chris Kapulkin

On Sun, Oct 1, 2017 at 12:25 AM, Daniel R. Grayson
<danielrich...@gmail.com> wrote:
> Dear Colleagues,
>
> The following message from the director of the Institute for Advan= ced Study
> in Princeton announces
> sad news:
>
> ---------- Forwarded message ----------
> Date: Sat, 30 Sep 2017 17:38:57 -0400 (EDT)
> From: Robbert Dijkgraaf
> Subject: Sad news
>
> Dear Colleagues,
>
> It is with a heavy heart that I write to share some very sad news.= Our dear
> colleague and friend, Vladimir Voevodsky, Professor in the School = of
> Mathematics, passed away unexpectedly this morning.
>
> Vladimir was a truly extraordinary mathematician and integral part= of our
> community. His death is a tremendous loss for the Institute and fo= r the
> world. We will all miss him dearly and extend our deepest condolen= ces to
> Vladimir=E2=80=99s family and his many colleagues and collaborator= s around the
> world.
>
> We will soon be sharing more information about a gathering to cele= brate
> Vladimir=E2=80=99s life and legacy.
>
> Robbert
>
> --
> You received this message because you are subscribed to the Google= Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, = send an
> email to HomotopyTypeTheory+unsub...@googlegroups.com.
> For more options, visit https://groups.go= ogle.com/d/optout.
------=_Part_9619_113177861.1506950411959-- ------=_Part_9618_258901068.1506950411959--