News for hackers. Stuff that matters.

A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by codethief on Thursday September 20, 2018 @07:40PM (#18036218)
Here's a video of an excellent presentation Lamport gave on "21st-century proofs" last year:

https://www.heidelberg-laureate-forum.org/blog/video/lecture...

[ Parent | on HN ]

There are no comments on this comment yet.