How to Write a 21st Century Proof (2011) [pdf](lamport.azurewebsites.net)
lamport.azurewebsites.net
How to Write a 21st Century Proof (2011) [pdf]
https://lamport.azurewebsites.net/pubs/proof.pdf
5 comments
i really appreciated the paper and as someone who has spent many years deciphering what the author calls 17th century-style proofs am completely aligned with the objective and the method. i personally find myself doing a version of what the author proposes (in private notes) to make sure i understand proofs i read in books or papers.
even so it would have been timely, useful, and relevant to include a comparison to proofs in lean by comparison to TLA+ even though it is not Lamport’s personal project.
even so it would have been timely, useful, and relevant to include a comparison to proofs in lean by comparison to TLA+ even though it is not Lamport’s personal project.
Vector Clocks!
https://en.wikipedia.org/wiki/Lamport_timestamp
https://en.wikipedia.org/wiki/Lamport_timestamp
[deleted]
He retired from Microsoft earlier this year. A draft of his newest book is available on the same site as this post.
A Science of Concurrent Programs - https://lamport.azurewebsites.net/tla/science-book.html