Comment by spolitry
12 hours ago
Gauss and Euler, and also Ramanujan (results without proofs, which is a bit like unreadable Lean) did that for their lifetimes.
12 hours ago
Gauss and Euler, and also Ramanujan (results without proofs, which is a bit like unreadable Lean) did that for their lifetimes.
Yes, and they are revered as geniuses, which makes it clear that this is all sour grapes. And surely if people died, went to heaven, and were able to talk with God whenever they wanted, they wouldn't be upset that now they could know the answer to any mystery whenever they'd like; they'd appreciate that now they have someone to guide them! Or were they similarly upset when lecturers handed them already completed theory in school? There's already enough developed theory that people don't have the time to learn it all as it is.