3 ms·

Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51

• adamnemecek 9y ago
  I was somewhat sad when this wasn't covered by main stream media. So I'm glad they are fixing that.
• 100ideas 9y ago
  Also check out John Baez 'In Memoriam' post https://johncarlosbaez.wordpress.com/2017/10/06/vladimir-voevodsky-1966-2017/ https://johncarlosbaez.wordpress.com/2017/10/06/vladimir-voe...
• sshine 9y ago
  > he changed the meaning of the equals sign. Into what?
  • adamnemecek 9y ago
    It’s closer to the idea of a constructor of an object.