<--- Back to Details
First PageDocument Content
Proof theory / Continuum hypothesis / Forcing / Hypotheses / Kurt Gödel / Conjecture / Set theory / Decidability / Truth / Mathematical logic / Logic / Mathematics
Date: 2011-10-02 02:02:57
Proof theory
Continuum hypothesis
Forcing
Hypotheses
Kurt Gödel
Conjecture
Set theory
Decidability
Truth
Mathematical logic
Logic
Mathematics

IS THE CONTINUUM HYPOTHESIS A DEFINITE MATHEMATICAL PROBLEM?

Add to Reading List

Source URL: math.stanford.edu

Download Document from Source Website

File Size: 305,13 KB

Share Document on Facebook

Similar Documents

Hinged Sets And the Answer to the Continuum Hypothesis by R. Webster Kehr 1st Version: January 20, 1999

DocID: 1uVU7 - View Document

Fluid dynamics / Viscosity / Polymers / Continuum mechanics / Rheology / Non-Newtonian fluid / Physics / Chemistry / Materials science

Experimental test of the viscous anisotropy hypothesis for partially molten rocks Chao Qi (綦超)a,1,2, David L. Kohlstedta, Richard F. Katzb, and Yasuko Takei (武井康子)c a Department of Earth Sciences, University

DocID: 1qyzl - View Document

Mathematical logic / Mathematics / Forcing / Logic / Cardinal numbers / Infinity / ZermeloFraenkel set theory / Continuum hypothesis / Aleph number / Lebesgue measure / Constructible universe / Ordinal number

Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I

DocID: 1qmQn - View Document

ITERATED FORCING AND THE CONTINUUM HYPOTHESIS Appalachian Set Theory Workshop, May 29–30, 2009 Lectures by Todd Eisworth and Justin Tatch Moore Notes taken by David Milovich Remark. The notes which follow reflect the

DocID: 1gMBc - View Document

Logical consequence / Semantics / Predicate logic / Propositional calculus / Mathematical proof / Algorithm / Mereology / Negation / Continuum hypothesis / Logic / Mathematics / Mathematical logic

Chapter 1: Origin of Computer Science Quotation from Preface Algorithmic Adventures From Knowledge to Magic

DocID: 137JM - View Document