HackerPapers

arXiv:0712.1320math.LO

A beginner's guide to forcing

Timothy Y. Chow

Abstract

This expository paper, aimed at the reader without much background in set theory or logic, gives an overview of Cohen's proof (via forcing) of the independence of the continuum hypothesis. It emphasizes the broad outlines and the intuitive motivation while omitting most of the proofs. The reader must of course consult standard textbooks for the missing details, but this article provides a map of the forest so that the beginner will not get lost while forging through the trees.

arXiv comments
Accepted version (Contemp. Math.); bugs fixed, exposition improved, new references
Journal reference
DOI
Subjects
math.LOLogic math.HOHistory and Overview

On Hacker News

Linked by 2 identifiable commenters in 2 comments across 2 threads, from Sep 2021 to Oct 2026. Found in 1 HN submission from Oct 2009 to Oct 2009. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments2 threads

  1. The Mathocalypse 1 comment

    • 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…

      eadlerView on HNParent context

  2. New math book rescues landmark topology proof 1 comment

    • 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…

      ChrisKnottView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.