News for hackers. Stuff that matters.

A comment on Vladimir Voevodsky has died. Parent comment

Re:Vladimir Voevodsky has died by zitterbewegung on Saturday September 30, 2017 @09:50PM (#15375973)
I think that people will still develop the theory. It still needs a bunch of work but it seems popular enough to stay around.
[ Parent | on HN ]
Re:Vladimir Voevodsky has died by javra on Sunday October 01, 2017 @10:49AM (#15378111)
Working in the field I rather have the feeling that it is slowly but surely falling asleep.

One of Voevodsky's views was that all the foundation for a dependently typed formalization of maths is already there, and that it mainly needs to be organized in a better way (cf his unimath project).

[ Parent | on HN ]