Viewing profile — AcademicHamster

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 …

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 recommen…

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. Yo…

> 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 …

What are good beginner resources to learn Lean?