News for hackers. Stuff that matters.

A comment on Voevodsky’s Mathematical Revolution. Parent comment

Re:Voevodsky’s Mathematical Revolution by auggierose on Sunday December 15, 2013 @03:19AM (#6908765)
But yes, this is (partly) a programming language where the uptake will depend on how easy it is to understand.

By the way, I don't have a PhD in mathematics, but I do have a PhD in interactive theorem proving.

[ Parent | on HN ]
Re:Voevodsky’s Mathematical Revolution by fedvasu on Sunday December 15, 2013 @03:41AM (#6908798)
my point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.
[ Parent | on HN ]