Skip to content

It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.

— Vladimir Voevodsky

Another quote →

More quotes by Vladimir Voevodsky

A technical argument by a trusted author, which is hard to check and looks similar to arguments known to be correct, is hardly ever checked in detail

All Vladimir Voevodsky quotes →

Attribution

Quote text and notes from Wikiquote: Vladimir Voevodsky (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.