Another big star in the math sky

Vladimir Voevodsky (1966-2017) is credited with:
1. providing "a long-sought connection between the fields of topology and algebraic geometry."
2. propelling “the drive to mechanize proof and proof verification"

Please read about his life and work in Quanta: 

A mathematical luminary has passed.https://t.co/4tLoNg8PT1

— Quanta Magazine (@QuantaMagazine) October 15, 2017

The Washington Post:

Vladimir Voevodsky, acclaimed mathematician who won Fields Medal, dies at 51 - Washington Post https://t.co/dS9e35aTMU

— Physics & Math (@PhyMathWorld) October 7, 2017

Vladimir Voevodsky, Acclaimed Mathematician Who Won Fields Medal, Dies at 51 @washingtonpost https://t.co/1mxAaHpl61 pic.twitter.com/i0wE9edFZP

— IAS (@the_IAS) October 9, 2017

and the New York Times obituary: 

In case you missed it: Heck of an obit from The Times: https://t.co/jj9botOsbT

— Ken Jaworowski (@KenJaworowski) October 11, 2017

 Advertisement: Read my books.

The mission of schools and teachers is to develop an understanding of all that is true, good and beautiful.

— Pope Francis (@Pontifex) October 5, 2017

Advertisement: Read my books.