Uninversity Seminar: Logic Across Disciplines - Forcing, an introduction
Fri, 27 September, 2019
3:00pm
Title: Forcing, an introduction
Speaker: Philip White, GWU
Date and time: Friday, September 27, 11:00am-12 noon
Place: Phillips Hall (801 22nd Street), Room 736
Abstract: Forcing is a mathematical technique developed by Paul Cohen in the 1960s, which he used to prove the independence of the continuum hypothesis. Although forcing in many ways has become the standard technique used in set theory, to non-set-theorists it often seems like a mystery. We hope to give a quick introduction to the forcing technique, all the while making the technique seem less enigmatic to the non-set-theorist.