Live data from Hacker News

The Third Hard Problem

mmapped.blog

1–10 of 70 posts

Re: The Third Hard Problem

#7
post #5

I think all three problems are really one problem under the hood: Are these two things actually the same thing, or they separate?

Reminds me of my favorite math essay: "When is one thing equal to some other thing?"

It's a great question, much deeper and more interesting than it seems. The essay suggests thinking in terms of isomorphisms (relative to the structure you care about) rather than equality in some absolute sense, and I've found a fuzzy version of that to be a really useful perspective even in areas that can't be fully formalized.

https://people.math.osu.edu/cogdell.1/6112-Mazur-www.pdf

Post reply on HN