 Scientific American (blog) | A Computer Scientist Tells Mathematicians How To Write Proofs Scientific American (blog) On Tuesday, Leslie Lamport, who won computer science's prestigious Turing prize in 2013, gave a talk called “How to write a 21st century proof” that started with the same observation my history class and I made: formulas are easier to read and parse ... |
Wednesday, September 24, 2014
A Computer Scientist Tells Mathematicians How To Write Proofs - Scientific American (blog)
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment