פורטל:מתמטיקה/הידעת?/51

השערת הרצף, שניסח מייסד תורת הקבוצות, גאורג קנטור, נחשבה לאחת הבעיות הפתוחות, החשובות במתמטיקה, ואף הייתה הראשונה ברשימת 23 הבעיות הפתוחות של המתמטיקה, שמנה דויד הילברט בשנת 1900. משך שנים קנטור ואחרים ניסו להוכיח את ההשערה, או להפריכה, אך לא הצליחו לעשות זאת. רק בשנת 1937 חלה התקדמות מסוימת במעמדה, כאשר קורט גדל הצליח להוכיח כי הנחת אמיתותה משתלבת במערכת האקסיומות המתמטיות המקובלות בלי לערערה. עם זאת, ב-1963, הראה פול כהן כי גם ההנחה ההפוכה, השוללת את השערת הרצף, משתלבת באותה מערכת בלי לערערה. כך בעצם הוכח שהשערת הרצף היא טענה מתמטית שאמיתותה אינה תלויה ביתר האקסיומות המקובלות, ובעצם היא טענה שלא ניתן להפריכה ולא ניתן להוכיחה.