4 ms·

This approach of solving a problem by building a low-perplexity path towards the solution reminds me of Grothendieck's approach towards solving complex mathema

This approach of solving a problem by building a low-perplexity path towards the solution reminds me of Grothendieck's approach towards solving complex mathematical problems - you gradually build a theory which eventually makes the problem obvious. https://ncatlab.org/nlab/show/The+Rising+Sea https://ncatlab.org/nlab/show/The+Rising+Sea

nextaccountic 1y ago
> you gradually build a theory which eventually makes the problem obvious. Which incidentally is how programming in Haskell feels like
- bonesss 1y ago
  “A good engineer will solve your problem in 5 days. A great engineer will spend 3 days figuring out how to solve it in 2.”
  - habitue 1y ago
    ...and will also have a deeper understanding of the problem that will help solving other problems down the line?
orbifold 1y ago
what is striking to me is how far reasoning by analogy and generalization can get you. some of the deepest theorems are about relating disparate things by analogy.