How much certainty is worthwhile?
Read OriginalThe article explores the balance between certainty and effort in verifying mathematical identities, such as trigonometric functions. It discusses using Python for spot-checking, the Schwartz-Zippel lemma in zero-knowledge proofs, and the limits of formal verification (e.g., Lean) versus practical errors like transcription mistakes. It connects to programming, algorithms, and software verification practices.
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
1
When your coding agent doesn’t understand your project, you’ll get junk
Benjamin Cane
•
1 votes
2
LLM Use in the Python Source Code
Miguel Grinberg
•
1 votes
3
Wagon’s algorithm in Python
John D. Cook
•
1 votes
4
An example conversation with Claude Code
Dumm Zeuch
•
1 votes