Dear All,

This is shocking news indeed. 

I only got to know Vladimir quite recently, while he kindly came to visit me
at the end of April, before the Big Proof INI programme.  He arrived at the
Computer Lab and immediately wanted to discuss mathematics, specifically
that of type systems, which we did on the first day and regularly thereafter. 
It took us a bit of time to understand how to interact mathematically with
each other, but we got there.  In the process, we did some work together
and I got fond of him.  It is a real shame that he won't be around; personally
because we had 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 know
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 Advanced 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 for the
> world. We will all miss him dearly and extend our deepest condolences to
> Vladimir’s family and his many colleagues and collaborators around the
> world.
>
> We will soon be sharing more information about a gathering to celebrate
> Vladimir’s 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.google.com/d/optout.