In January 1984, Alexander Grothendieck submitted to the French National Centre for Scientific Research his proposal “Esquisse d’un Programme.” Soon copies of this text started circulating among mathematicians. A few months later, as a first-year undergraduate at Moscow University, I was given a copy of it by George Shabat, my first scientific adviser. After learning some French with the sole purpose of being able to read this text, I started to work on some of the ideas outlined there.
The Fields medalist Vladimir Voevodsky has died at 51. This 2015 article describes his computer-aided quest to eliminate human error and rewrite the century-old…
Typeclassopedia - HaskellWiki haskell.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from haskell.org Daily Mail and Mail on Sunday newspapers.
Category Theory: Lecture Notes and Online Books logicmatters.net - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from logicmatters.net Daily Mail and Mail on Sunday newspapers.