Subscription

Books
Shop
About

Friday, October 20, 2017

Another big star in the math sky

Vladimir Voevodsky (1966-2017) is credited with:
1. providing "a long-sought connection between the fields of topology and algebraic geometry."
2. propelling “the drive to mechanize proof and proof verification"

Please read about his life and work in Quanta: 

The Washington Post:

and the New York Times obituary: 


 Advertisement: Read my books.

Thursday, October 5, 2017



Advertisement: Read my books.

Blog Archive

My Other Blogs

About Me

Followers