That's young. What happened?
Vladimir Voevodsky has died
11–20 of 102 posts
Re: Vladimir Voevodsky has died
#12Earlier quoted context omitted.
Could you expand on his work, related to CS and/or his influence in your work? I've never heard of him so I'm curious, being a Field medalist and all.
Voevodsky won the Fields medal for A^1 homotopy theory: https://en.wikipedia.org/wiki/A%C2%B9_homotopy_theory It's quite technical to describe what that is, but the general idea is that he imported homotopy theory, a fundamental concept in mathematics which allows you to describe topology with an algebra of paths in that geometry, to algebraic geometry. This allowed him to solve some major open problems in the field.…
I think topology is mentioned in recent Microsoft Ignite Quantum Computing discussions from at least 1 panel who is a mathematician. I wonder how it might be related.
Re: Vladimir Voevodsky has died
#13F*.
This is an unfatomable loss both him as a amazing person and him as an outstanding mathematician.
We just lost the Hilbert of the new Hilbert program.
Re: Vladimir Voevodsky has died
#14Earlier quoted context omitted.
Voevodsky won the Fields medal for A^1 homotopy theory: https://en.wikipedia.org/wiki/A%C2%B9_homotopy_theory It's quite technical to describe what that is, but the general idea is that he imported homotopy theory, a fundamental concept in mathematics which allows you to describe topology with an algebra of paths in that geometry, to algebraic geometry. This allowed him to solve some major open problems in the field.…
I think topology is mentioned in recent Microsoft Ignite Quantum Computing discussions from at least 1 panel who is a mathematician. I wonder how it might be related.
Topology of course is fundamental to all of physics, but in that context my guess would be on topological quantum computing: https://en.wikipedia.org/wiki/Topological_quantum_computer
I once attended a talk on the subject by Michael Freedman who is with Microsoft Station Q. They are trying to build just such a computer.
Re: Vladimir Voevodsky has died
#15Earlier quoted context omitted.
Could you expand on his work, related to CS and/or his influence in your work? I've never heard of him so I'm curious, being a Field medalist and all.
Voevodsky won the Fields medal for A^1 homotopy theory: https://en.wikipedia.org/wiki/A%C2%B9_homotopy_theory It's quite technical to describe what that is, but the general idea is that he imported homotopy theory, a fundamental concept in mathematics which allows you to describe topology with an algebra of paths in that geometry, to algebraic geometry. This allowed him to solve some major open problems in the field.…
[deleted]
Re: Vladimir Voevodsky has died
#16A great loss for mathematics! I became familiar with his work through HoTT -- > More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science. And some of…
Could you expand on his work, related to CS and/or his influence in your work? I've never heard of him so I'm curious, being a Field medalist and all.
I'm in a similar situation, I hope these couple of pieces about univalent foundations are useful: https://www.ias.edu/ideas/2014/voevodsky-origins, https://www.ias.edu/ideas/2013/awodey-coquand-univalent-foun...
Re: Vladimir Voevodsky has died
#17That's young. What happened?
Suicide?
Edit: I wonder why it is getting downvoted? I am actually about to quit HN due to its increasingly oppressive PC culture.
Re: Vladimir Voevodsky has died
#18Does anyone know what happened ?
Was he sick ? Was it cancer ?
Re: Vladimir Voevodsky has died
#19Does anyone know what happened ? Was he sick ? Was it cancer ?
He struggled deeply with alcoholism, but the cause of his death has not been announced.