causaofdeth: "Voevodsky told mathematicians that their lives are about to change... Soon, they won’t consider a theorem proven until a computer has verified it. "

and now, consider this:

>"Das Seyn ist das Nichts" - Бытие есть Ничто.
>"Das Nichts nichtet" - Ничто ничтожит.
>"Die Nichtung verweigert jede Erklaerung des Seienden aus Seiendem" - Ничтоженье предотвращает всякое объяснение сущего через сущее.
>"Die Verweigerung aber gewaehrt die Lichtung, in der Seiendes aus- und ein- gehen, als ein solches offenbar und verborgen sein kann" - Такое предотвращение охраняет то, чтобы просветление как таковое - в ис-ступлении и за-ступлении сущего - могло бы быть одновременно открытым и сокрытым. - "И" выделено курсивом.

это все потому что мы еще-таки люди, не машины. Но более-менее скоро все изменится, безусловно. Воеводского искренне жаль, Торопыгу.