AcademicHamster

4 ms·

1. 1.▲
   by AcademicHamster 6y ago

   I like the sentiment, but I have to disagree. I believe there is something genetically different about Grothendieck that makes him possess superior intelligence. I don’t think you can cultivate a bunch of Grothendiecks in mass by teaching a
2. 2.▲
   by AcademicHamster 6y ago

   I wondered the same. I have no idea, other than to speculate. In this case, it might be out of habit (since this is usually how textbooks are written) or laziness. I can’t recommend any of these books for self-studies unless the person stud
3. 3.▲
   by AcademicHamster 6y ago

   Probably not. That’s why most of these books are useless for people that self-study. There isn’t an external feedback mechanism to check your work. I’d recommend hiring a tutor. You can post online too, but the answers to your questions may
4. 4.▲
   by AcademicHamster 6y ago

   > Outside the CS bubble, being a PhD physicist has more prestige and status than being a PhD computer scientist. I disagree with this take. Just as there is more “applied” physics and “theoretical” physics there is similarly “theoretical
5. 5.▲
   by AcademicHamster 6y ago

   What are good beginner resources to learn Lean?