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)

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

Related topics

clear real start using verification

Related quotes

As you become more clear about who you really are, you'll be better able to decide what is best for you - the first time around. View quote
Oprah Winfrey
It's like anything in life, visualizing the old man you're going to become: As long as you have a clear picture of that - the life you want to lead - eventually you'll probably get there. View quote
Heath Ledger
Life is the only real counselor; wisdom unfiltered through personal experience does not become a part of the moral tissue. View quote
Edith Wharton
As soon as the land of any country has all become private property, the landlords, like all other men, love to reap where they never sowed, and demand a rent even for its natural produce. View quote
Adam Smith
So many of our dreams at first seem impossible, then they seem improbable, and then, when we summon the will, they soon become inevitable. View quote
Christopher Reeve