The Golden Helmet

''—that this piece we have now before us, which this worthy gentleman has in his hands, not only is no barber's basin, but is as far from being one as white is from black, and truth from falsehood; I say, moreover, that this, although it is a helmet, is not a complete helmet.''

—Cervantes, Don Quixote

''The Golden Helmet'' is a 32-page funny animal comic book adventure story written, drawn, and lettered by Carl Barks.

—Wikipedia, The Golden Helmet

Link: In Mathematics, Mistakes Aren't What they used to be

Aug 28, 2016

Nautilus: a nice article about proof assistants and future of doing mathematics from 2015.

An interview of V. Voevodsky. Via HackerNews.

Categories: linkblog math culture

Tagged: math.todo math.logic math.proofs math.proofassistants culture.mathematics math.stuff math.general math.discrete

Commenting currently unimplemented. But if you want to make a comment / suggest an edit / say hello, you can send email (address below).