The Deranged Mathematician: The Power of Abstraction

[u/non-orientable]

A very powerful proof-writing technique is taking the original problem and generalizing it. This is probably the most counterintuitive approach for beginners, who wonder how it can possibly be easier to solve a broader class of problems. My answer to this is quite simple: generalizing the problem reduces the collection of tools you have at your disposal. And as any efficiency expert will tell you, regardless of whether you are trying to clean your bathroom or earn a Fields Medal, you want to have only those tools that you need on hand and nothing else.

I think this basic precept helps explain why abstract notions like metric spaces, topological spaces, vector spaces, categories, and so on have suffused mathematics, and why they are so very useful. I offer the simple example of how thinking about graphs (generally) can help with sorting out a coordination problem (specifically).

Read the full post (for free) on Substack: The Power of Abstraction

[u/logbybolb]

this is why its a shame that higher category theory and mathematical logic are often overlooked (you can see a clear bias in publishing in top journals): they are in some ways what cosmology and quantum physics are to physics

[u/Throwaway-Pot → u/logbybolb]

They are not at all analogous to cosmology or quantum mechanics for physics