Hacker News new | ask | show | jobs
by michael_nielsen 228 days ago
Timothy Chow has a wonderful phrase for this - he describes one of his papers (on forcing) as solving an "open expository problem": https://timothychow.net/forcing.pdf