A beginner's guide to forcing · HackerPapers discussions

A beginner's guide to forcing — mentioned by eadler

Wed, 07 Oct 2026 21:22:20 GMT

That reminds me of this paper: Chow, T. Y. (2008). A beginner’s guide to forcing (arXiv:0712.1320). arXiv. https://doi.org/10.48550/arXiv.0712.1320 > “All mathematicians are familiar with the concept of an open research problem. I propose the less familiar concept of an open exposition problem. Solving an open exposition problem means explaining a mathematical subject in a way that renders it totally perspicuous. Every step should be motivated and clear; ideally, students should feel that they could have arrived at the results themselves. The proofs should be “natural” in Donald Newman’s…

Paper and discussion history. A mention is not an endorsement.

A beginner's guide to forcing — mentioned by ChrisKnott

Thu, 09 Sep 2021 19:50:11 GMT

This distinction has been called an "open exposition problem", versus an "open research problem". Once Freedman's proof was accepted, it was no longer an open research problem; on the publication of this book, it will (hopefully) no longer be an open exposition problem. The phrase was coined by Timothy Chow in his paper A Beginner's Guide To Forcing [0]; > "All mathematicians are familiar with the concept of an open research problem. I propose the less familiar concept of an open exposition problem. Solving an open exposition problem means explaining a mathematical subject in a way that…

Paper and discussion history. A mention is not an endorsement.

A beginner's guide to forcing — HN submission

Tue, 20 Oct 2009 20:21:23 GMT

A Beginner's Guide to Forcing

7 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.