Question
Writing 21st Century Proofs Examine the paper How to Write a 21st Century Proof by Leslie Lamport. https://lamport.azurewebsites.net/pubs/proof.pdf . You will notice that portions of
Writing 21st Century Proofs Examine the paper How to Write a 21st Century Proof by Leslie Lamport. https://lamport.azurewebsites.net/pubs/proof.pdf . You will notice that portions of the paper are quite accessible to the intended audience for this class, while other parts are less accessible. Describe which is which and why. Read the accessible parts. Look up the proof of the Mean Value Theorem in the book and notes from your Calculus class. Compare and contrast with the discussion in the Lamport paper. How might you rewrite the calculus proof that you were given in order to improve it? What is Dr. Lamport's main thesis and what is your assessment of it? (By the way, although a mathematician by trade, Dr. Lamport received the prestigious Turing Prize in computer science.)
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started