Гипотеза континуума

Предложение математической логики

В математике , особенно в теории множеств , гипотеза континуума (сокращенно CH ) — это гипотеза о возможных размерах бесконечных множеств . В нем говорится, что

не существует множества, мощность которого находилась бы строго между мощностью целых и действительных чисел ,

или, что то же самое, что

любое подмножество действительных чисел конечно, счетно бесконечно или имеет ту же мощность, что и действительные числа.

В теории множеств Цермело–Френкеля с аксиомой выбора (ZFC) это эквивалентно следующему уравнению в числах алефа : , или даже короче с числами бет : . ${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$ ${\displaystyle \beth _{1}=\aleph _{1}}$

Гипотеза континуума была выдвинута Георгом Кантором в 1878 году ^[1] , и установление ее истинности или ложности является первой из 23 проблем Гильберта , представленных в 1900 году. Ответ на эту проблему не зависит от ZFC, так что либо гипотеза континуума, либо ее отрицание может быть добавлено в качестве аксиомы к теории множеств ZFC, при этом полученная теория будет непротиворечивой тогда и только тогда, когда ZFC непротиворечива. Эта независимость была доказана в 1963 году Полом Коэном , дополняя более раннюю работу Курта Гёделя в 1940 году ^.[2]

Название гипотезы происходит от термина «континуум» действительных чисел.

История

Кантор верил в истинность гипотезы континуума и на протяжении многих лет тщетно пытался ее доказать. ^[3] Он стал первым в списке важных открытых вопросов Дэвида Гильберта , который был представлен на Международном конгрессе математиков в 1900 году в Париже. Аксиоматическая теория множеств на тот момент еще не была сформулирована. Курт Гёдель доказал в 1940 году, что отрицание гипотезы континуума, т. е. существование множества промежуточной мощности, не может быть доказано в стандартной теории множеств. ^[2] Вторая половина независимости гипотезы континуума – т.е. недоказуемость несуществования множества промежуточного размера – была доказана в 1963 году Полом Коэном . ^[4]

Мощность бесконечных множеств

Говорят, что два множества имеют одинаковую мощность или кардинальное число , если между ними существует биекция (взаимно однозначное соответствие). Интуитивно, если два множества S и T имеют одинаковую мощность, это означает, что можно «соединить» элементы S с элементами T таким образом, что каждый элемент S будет соединен в пару ровно с одним элементом T , и наоборот . наоборот. Следовательно, множество {банан, яблоко, груша} имеет ту же мощность, что и {жёлтый, красный, зелёный}.

В случае бесконечных наборов, таких как набор целых или рациональных чисел , существование биекции между двумя наборами становится труднее продемонстрировать. Рациональные числа, по-видимому, образуют контрпример к гипотезе континуума: целые числа образуют правильное подмножество рациональных чисел, которые сами образуют правильное подмножество действительных чисел, поэтому интуитивно понятно, что рациональных чисел больше, чем целых, и больше действительных чисел, чем рациональных чисел. Однако этот интуитивный анализ ошибочен; он не учитывает должным образом тот факт, что все три множества бесконечны . Оказывается, рациональные числа на самом деле могут быть поставлены во взаимно-однозначное соответствие с целыми числами, и поэтому множество рациональных чисел имеет тот же размер ( мощность ), что и множество целых чисел: оба они являются счетными множествами .

Кантор дал два доказательства того, что мощность множества целых чисел строго меньше мощности множества действительных чисел (см. первое доказательство несчетности Кантора и диагональный аргумент Кантора ). Однако его доказательства не дают никаких указаний на то, насколько мощность целых чисел меньше мощности действительных чисел. Кантор предложил гипотезу континуума как возможное решение этого вопроса.

Гипотеза континуума утверждает, что набор действительных чисел имеет минимально возможную мощность, превышающую мощность набора целых чисел. То есть каждый набор действительных чисел S может быть либо взаимно однозначно отображен в целые числа, либо действительные числа могут быть взаимно однозначно отображены в S. Поскольку действительные числа равнозначны набору степеней целых чисел, т. е . гипотезу континуума можно переформулировать следующим образом: ${\displaystyle |\mathbb {R} |=2^{\aleph _{0}}}$

Гипотеза континуума  —  . ${\displaystyle \nexists S\colon \aleph _{0}<|S|<2^{\aleph _{0}}}$

Предполагая аксиому выбора , существует уникальное наименьшее кардинальное число, превышающее , а гипотеза континуума, в свою очередь, эквивалентна равенству . ^[5] ${\displaystyle \aleph _{1}}$ ${\displaystyle \aleph _{0}}$ ${\displaystyle 2^{\aleph _{0}}=\aleph _{1}}$

Независимость от ZFC

Независимость гипотезы континуума (CH) от теории множеств Цермело–Френкеля (ZF) следует из совместной работы Курта Гёделя и Пола Коэна .

Гёдель ^{[6] [2]} показал, что CH нельзя опровергнуть на основе ZF, даже если принять аксиому выбора (AC) (что делает ZFC). Доказательство Гёделя показывает, что CH и AC оба справедливы в конструктивной вселенной L, внутренней модели теории множеств ZF, предполагающей только аксиомы ZF. Существование внутренней модели ZF, в которой выполняются дополнительные аксиомы, показывает, что дополнительные аксиомы согласуются с ZF при условии, что сам ZF непротиворечив. Последнее условие не может быть доказано в самом ZF из-за теорем Гёделя о неполноте , но широко распространено мнение, что оно истинно и может быть доказано в более сильных теориях множеств.

Коэн ^{[4] [7]} показал, что CH нельзя доказать с помощью аксиом ZFC, завершив общее доказательство независимости. Чтобы доказать свой результат, Коэн разработал метод принуждения , который стал стандартным инструментом в теории множеств. По сути, этот метод начинается с модели ZF, в которой выполняется CH, и строит другую модель, которая содержит больше наборов, чем исходная, таким образом, что CH не выполняется в новой модели. За свои доказательства Коэн был награжден медалью Филдса в 1966 году.

Только что описанное доказательство независимости показывает, что CH не зависит от ZFC. Дальнейшие исследования показали, что CH не зависит от всех известных больших кардинальных аксиом в контексте ZFC. ^[8] Более того, было показано, что мощность континуума может быть любой кардинальной, согласующейся с теоремой Кенига . Результат Соловея, доказанный вскоре после результата Коэна о независимости гипотезы континуума, показывает, что в любой модели ZFC, если является кардиналом несчетной конфинальности , то существует вынуждающее расширение, в котором . Однако, согласно теореме Кенига, несовместимо предполагать, что это или любой кардинал с конфинальностью . ${\displaystyle \kappa }$ ${\displaystyle 2^{\aleph _{0}}=\kappa }$ ${\displaystyle 2^{\aleph _{0}}}$ ${\displaystyle \aleph _{\omega }}$ ${\displaystyle \aleph _{\omega _{1}+\omega }}$ ${\displaystyle \omega }$

Гипотеза континуума тесно связана со многими утверждениями в анализе , топологии множества точек и теории меры . В результате его независимости впоследствии было показано, что многие существенные гипотезы в этих областях также независимы.

Независимость от ZFC означает, что доказать или опровергнуть CH внутри ZFC невозможно. Однако отрицательные результаты Гёделя и Коэна не общепризнаны как исключающие всякий интерес к гипотезе континуума. Гипотеза континуума остается активной темой исследований; обзор текущего статуса исследований см . Вудином ^{[9] [10]} и Питером Келлнером ^{[11] .}

Гипотеза континуума и аксиома выбора были одними из первых истинно математических утверждений, которые оказались независимыми от теории множеств ZF. Хотя существование некоторых утверждений, независимых от ZFC, было известно уже более двух десятилетий назад: например, при условии хороших свойств корректности и непротиворечивости ZFC, теоремы Гёделя о неполноте , опубликованные в 1931 году, устанавливают, что существует формальное утверждение (одно для каждой соответствующей схемы нумерации Гёделя ), выражающей непротиворечивость ZFC, которая также не зависит от нее. Последний результат независимости действительно справедлив для многих теорий.

Аргументы за и против гипотезы континуума

Гёдель считал, что CH ложно, и что его доказательство того, что CH совместимо с ZFC, показывает только то, что аксиомы Цермело – Френкеля не адекватно характеризуют вселенную множеств. Гёдель был платоником и поэтому не имел проблем с утверждением истинности и ложности утверждений независимо от их доказуемости. Коэн, хотя и был формалистом , ^[12] также был склонен отвергать CH.

Исторически сложилось так, что математики, которые выступали за «богатую» и «большую» вселенную множеств, были против CH, в то время как те, кто выступал за «аккуратную» и «управляемую» вселенную, выступали за CH. Параллельно приводились аргументы за и против аксиомы конструктивности , из которой следует CH. Совсем недавно Мэтью Форман отметил, что онтологический максимализм на самом деле может быть использован для аргументации в пользу CH, потому что среди моделей, имеющих одинаковые действительные числа, модели с «большим» набором действительных чисел имеют больше шансов удовлетворить CH. ^[13]

Другая точка зрения состоит в том, что концепция множества недостаточно конкретна, чтобы определить, является ли CH истинным или ложным. Эта точка зрения была выдвинута Сколемом еще в 1923 году , еще до появления первой теоремы Гёделя о неполноте. Скулем аргументировал свою точку зрения на основе того, что сейчас известно как парадокс Скулема , и позже это было подтверждено независимостью CH от аксиом ZFC, поскольку этих аксиом достаточно, чтобы установить элементарные свойства множеств и мощностей. Чтобы опровергнуть эту точку зрения, достаточно было бы продемонстрировать новые, подкрепленные интуицией аксиомы и разрешить СН в ту или иную сторону. Хотя аксиома конструктивности действительно разрешает CH, она обычно не считается интуитивно истинной, так же как CH обычно не считается ложной. ^[14]

Были предложены по крайней мере две другие аксиомы, которые имеют значение для гипотезы континуума, хотя эти аксиомы в настоящее время не нашли широкого признания в математическом сообществе. В 1986 году Крис Фрейлинг ^[15] представил аргумент против CH, показав, что отрицание CH эквивалентно аксиоме симметрии Фрейлинга , утверждению, полученному на основе конкретных интуиций о вероятностях . Фрейлинг считает, что эта аксиома «интуитивно верна», но другие с этим не согласны.

Сложный аргумент против CH, разработанный У. Хью Вудином, привлек значительное внимание с 2000 года. ^{[9] [10]} Форман не отвергает аргумент Вудина сразу, но призывает к осторожности. ^[16] Вудин предложил новую гипотезу, которую он назвал « ( *)-аксиомой» или «Звездной аксиомой» . Звездная аксиома может быть получена из вариации максимума Мартина . Однако в 2010-х годах Вудин заявил, что вместо этого он теперь верит в истинность CH, основываясь на своей вере в свою новую гипотезу «окончательного L». ^{[17] [18]} ${\displaystyle 2^{\aleph _{0}}}$ ${\displaystyle \aleph _{2}}$

Соломон Феферман утверждал, что CH не является определенной математической проблемой. ^[19] Он предложил теорию «определенности», используя полуинтуиционистскую подсистему ZF, которая принимает классическую логику для ограниченных кванторов, но использует интуиционистскую логику для неограниченных, и предположил, что предложение является математически «определенным», если полуинтуиционистская теория могу доказать . Он предположил, что CH не является определенным в соответствии с этим понятием, и предположил, что поэтому следует считать, что CH не имеет истинностного значения. Питер Келлнер написал критический комментарий к статье Фефермана. ^[20] ${\displaystyle \phi }$ ${\displaystyle (\phi \lor \neg \phi )}$

Джоэл Дэвид Хэмкинс предлагает подход к теории множеств , основанный на мультивселенной, и утверждает, что «гипотеза континуума основывается на представлении о мультивселенной благодаря нашим обширным знаниям о том, как она ведет себя в мультивселенной, и, как следствие, она больше не может быть решена таким способом, как раньше надеялись». ^[21] В аналогичном ключе Сахарон Шелах писал, что он «не согласен с чисто платоническим взглядом на то, что интересные проблемы теории множеств могут быть решены, что нам просто нужно открыть дополнительную аксиому. Моя мысленная картина такова, что мы имеем множество возможных теорий множеств, и все они соответствуют ZFC». ^[22]

Обобщенная гипотеза континуума

Обобщенная гипотеза континуума (GCH) утверждает, что если мощность бесконечного набора лежит между мощностью бесконечного набора S и мощностью набора S , то оно имеет ту же мощность, что и S или . То есть для любого бесконечного кардинала не существует такого кардинала, что . GCH эквивалентен: ${\displaystyle {\mathcal {P}}(S)}$ ${\displaystyle {\mathcal {P}}(S)}$ ${\displaystyle \lambda }$ ${\displaystyle \kappa }$ ${\displaystyle \lambda <\kappa <2^{\lambda }}$

${\displaystyle \aleph _{\alpha +1}=2^{\aleph _{\alpha }}}$для каждого порядкового номера ^[5] (иногда называемого гипотезой алефа Кантора ). ${\displaystyle \alpha }$

Числа Бет обеспечивают альтернативное обозначение этого условия: для каждого порядкового номера . Гипотеза континуума представляет собой частный случай порядкового числа . GCH был впервые предложен Филипом Журденом . ^[23] О ранней истории GCH см. Moore. ^[24] ${\displaystyle \aleph _{\alpha }=\beth _{\alpha }}$ ${\displaystyle \alpha }$ ${\displaystyle \alpha =1}$

Как и CH, GCH также независим от ZFC, но Серпинский доказал, что ZF + GCH подразумевает аксиому выбора (AC) (и, следовательно, отрицание аксиомы детерминированности AD), поэтому выбор и GCH не независимы в ZF; нет моделей ZF, в которых ГЧ держится, а АС выходит из строя. Чтобы доказать это, Серпинский показал, что GCH подразумевает, что каждая мощность n меньше некоторого числа алефа и, следовательно, может быть упорядочена. Это делается путем демонстрации того, что n меньше, чем его собственное число Хартогса — для этого используется равенство ; полное доказательство см. у Гиллмана. ^[25] ${\displaystyle 2^{\aleph _{0}+n}}$ ${\displaystyle 2^{\aleph _{0}+n}\,=\,2\cdot \,2^{\aleph _{0}+n}}$

Курт Гёдель показал, что GCH является следствием ZF + V=L (аксиомы, согласно которой каждое множество можно построить относительно ординалов), и, следовательно, согласуется с ZFC. Поскольку GCH подразумевает CH, модель Коэна, в которой CH терпит неудачу, является моделью, в которой GCH терпит неудачу, и, следовательно, GCH не доказуема с помощью ZFC. У. Б. Истон использовал метод принуждения, разработанный Коэном, для доказательства теоремы Истона , которая показывает, что она согласуется с ZFC для сколь угодно больших кардиналов, которые не удовлетворяют требованиям . Намного позже Форман и Вудин доказали, что (в предположении непротиворечивости очень больших кардиналов) непротиворечиво то, что верно для любого бесконечного кардинала . Позже Вудин расширил это, показав согласованность для каждого . Карми Меримович ^[26] показал, что для каждого n  ≥ 1 согласуется с ZFC, что для каждого κ 2 ^κ является n-м преемником κ. С другой стороны, Ласло Патаи ^[27] доказал, что если γ — ординал и для каждого бесконечного кардинала κ, 2 ^κ является γ-м преемником κ, то γ конечен. ${\displaystyle \aleph _{\alpha }}$ ${\displaystyle 2^{\aleph _{\alpha }}=\aleph _{\alpha +1}}$ ${\displaystyle 2^{\kappa }>\kappa ^{+}}$ ${\displaystyle \kappa }$ ${\displaystyle 2^{\kappa }=\kappa ^{++}}$ ${\displaystyle \kappa }$

Для любых бесконечных множеств A и B, если существует инъекция из A в B, то существует инъекция из подмножеств A в подмножества B. Таким образом, для любых бесконечных кардиналов A и B, . Если A и B конечны, имеет место более сильное неравенство. GCH подразумевает, что это строгое и более сильное неравенство справедливо как для бесконечных, так и для конечных кардиналов. ${\displaystyle A<B\to 2^{A}\leq 2^{B}}$ ${\displaystyle A<B\to 2^{A}<2^{B}}$

Последствия GCH для кардинального возведения в степень

Хотя гипотеза обобщенного континуума напрямую относится только к кардинальному возведению в степень с основанием 2, из нее можно вывести значения кардинального возведения в степень во всех случаях. GCH подразумевает, что: ^[28] ${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}}$

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\beta +1}}$когда α ≤ β +1;

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha }}$когда β +1 < α и , где cf — операция конфинальности ; и ${\displaystyle \aleph _{\beta }<\operatorname {cf} (\aleph _{\alpha })}$

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha +1}}$когда β +1 < α и . ${\displaystyle \aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })}$

Первое равенство (когда α ≤ β +1) следует из:

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\beta +1}^{\aleph _{\beta }}=(2^{\aleph _{\beta }})^{\aleph _{\beta }}=2^{\aleph _{\beta }\cdot \aleph _{\beta }}=2^{\aleph _{\beta }}=\aleph _{\beta +1}}$, пока:

${\displaystyle \aleph _{\beta +1}=2^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\beta }}}$ ;

Третье равенство (когда β +1 < α и ) следует из: ${\displaystyle \aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })}$

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\geq \aleph _{\alpha }^{\operatorname {cf} (\aleph _{\alpha })}>\aleph _{\alpha }}$, по теореме Кенига , в то время как:

${\displaystyle \aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\alpha }}\leq (2^{\aleph _{\alpha }})^{\aleph _{\alpha }}=2^{\aleph _{\alpha }\cdot \aleph _{\alpha }}=2^{\aleph _{\alpha }}=\aleph _{\alpha +1}}$

Где для каждого γ GCH используется для приравнивания и ; используется как эквивалент аксиомы выбора . ${\displaystyle 2^{\aleph _{\gamma }}}$ ${\displaystyle \aleph _{\gamma +1}}$ ${\displaystyle \aleph _{\gamma }^{2}=\aleph _{\gamma }}$

Смотрите также

• Абсолютная бесконечность
• Число Бет
• Мощность
• Ω-логика
• Вторая гипотеза континуума
• Проблема Ветцеля

Рекомендации

1. Кантор, Георг (1878). «Эйн Бейтраг зур Маннигфальтигкеитслехре». Журнал для королевы и математики . 1878 (84): 242–258. doi : 10.1515/crll.1878.84.242 (неактивен 31 января 2024 г.).{{cite journal}}: CS1 maint: DOI inactive as of January 2024 (link)
2. Гёдель, Курт (1940). Непротиворечивость континуум-гипотезы . Издательство Принстонского университета.
3. Добен, Джозеф Уоррен (1990). Георг Кантор: Его математика и философия бесконечного . Издательство Принстонского университета. стр. 134–137. ISBN 9780691024479.
4. Коэн, Пол Дж. (15 декабря 1963 г.). «Независимость гипотезы континуума, [часть I]». Труды Национальной академии наук Соединенных Штатов Америки . 50 (6): 1143–1148. Бибкод : 1963PNAS...50.1143C. дои : 10.1073/pnas.50.6.1143 . JSTOR  71858. PMC 221287 . ПМИД  16578557. 
5. Голдрей, Дерек (1996). Классическая теория множеств . Чепмен и Холл .
6. Гёдель, Курт (1938). «Согласованность аксиомы выбора и обобщенной гипотезы континуума». Труды Национальной академии наук . 24 (12): 556–557. Бибкод : 1938PNAS...24..556G. дои : 10.1073/pnas.24.12.556 . ПМК 1077160 . ПМИД  16577857. 
7. Коэн, Пол Дж. (15 января 1964 г.). «Независимость гипотезы континуума, [часть] II». Труды Национальной академии наук Соединенных Штатов Америки . 51 (1): 105–110. Бибкод : 1964PNAS...51..105C. дои : 10.1073/pnas.51.1.105 . JSTOR  72252. PMC 300611 . ПМИД  16591132. 
8. Феферман, Соломон (февраль 1999 г.). «Нужны ли математике новые аксиомы?». Американский математический ежемесячник . 106 (2): 99–111. CiteSeerX 10.1.1.37.295 . дои : 10.2307/2589047. JSTOR  2589047. 
9. Вудин, В. Хью (2001). «Гипотеза континуума, часть I» (PDF) . Уведомления АМС . 48 (6): 567–576. Архивировано (PDF) из оригинала 10 октября 2022 г.
10. Вудин, В. Хью (2001). «Гипотеза континуума, часть II» (PDF) . Уведомления АМС . 48 (7): 681–690. Архивировано (PDF) из оригинала 10 октября 2022 г.
11. Кёлльнер, Питер (2011). «Гипотеза континуума» (PDF) . Исследование границ независимости . Цикл лекций Гарварда. Архивировано (PDF) из оригинала 24 января 2012 г.
12. Гудман, Николас Д. (1979). «Математика как объективная наука». Американский математический ежемесячник . 86 (7): 540–551. дои : 10.2307/2320581. JSTOR  2320581. MR  0542765. Эту точку зрения часто называют формализмом . Более или менее подобные позиции можно найти у Хаскелла Карри [5], Абрахама Робинсона [17] и Пола Коэна [4].
13. Мэдди 1988, с. 500.
14. Кунен, Кеннет (1980). Теория множеств: введение в доказательства независимости . Амстердам, Нидерланды: Северная Голландия. п. 171. ИСБН 978-0-444-85401-8.
15. Фрейлинг, Крис (1986). «Аксиомы симметрии: метание дротиков по прямой с действительными числами». Журнал символической логики . Ассоциация символической логики. 51 (1): 190–200. дои : 10.2307/2273955. JSTOR  2273955. S2CID  38174418.
16. Форман, Мэтт (2003). «Гипотеза континуума подтверждена?» (PDF) . Архивировано (PDF) из оригинала 10 октября 2022 г. Проверено 25 февраля 2006 г.
17. Волчовер, Натали (15 июля 2021 г.). «Сколько существует чисел? Доказательство бесконечности приближает математику к ответу». Журнал Кванта . Проверено 30 декабря 2021 г.
18. Риттберг, Колин Дж. (март 2015 г.). «Как Вудин передумал: новые мысли о гипотезе континуума». Архив истории точных наук . 69 (2): 125–151. дои : 10.1007/s00407-014-0142-8. S2CID  122205863.
19. Феферман, Соломон (2011). «Является ли гипотеза континуума определенной математической проблемой?» (PDF) . Исследование границ независимости . Цикл лекций Гарварда. Архивировано (PDF) из оригинала 10 октября 2022 г.
20. Кёлльнер, Питер (2011). «Феферман о неопределенности CH» (PDF) . Архивировано (PDF) из оригинала 19 марта 2012 г.
21. Хэмкинс, Джоэл Дэвид (2012). «Теоретико-множественная мультивселенная». Обзор символической логики . 5 (3): 416–449. arXiv : 1108.4223 . дои : 10.1017/S1755020311000359. S2CID  33807508.
22. Шела, Сахарон (2003). «Логические сны». Бюллетень Американского математического общества . Новая серия. 40 (2): 203–228. arXiv : math/0211398 . дои : 10.1090/s0273-0979-03-00981-9. S2CID  1510438.
23. Журден, Филип Э.Б. (1905). «О трансфинитных кардинальных числах показательной формы». Философский журнал . Серия 6. 9 (49): 42–56. дои : 10.1080/14786440509463254.
24. Мур, Грегори Х. (2011). «Ранняя история гипотезы обобщенного континуума: 1878–1938». Бюллетень символической логики . 17 (4): 489–532. дои : 10.2178/bsl/1318855631. МР  2896574.
25. Гиллман, Леонард (2002). «Два классических сюрприза, касающихся аксиомы выбора и гипотезы континуума» (PDF) . Американский математический ежемесячник . 109 (6): 544–553. дои : 10.2307/2695444. JSTOR  2695444. Архивировано (PDF) из оригинала 10 октября 2022 г.
26. Меримович, Карми (2007). «Степенная функция с фиксированным конечным разрывом всюду». Журнал символической логики . 72 (2): 361–417. arXiv : math/0005179 . дои : 10.2178/jsl/1185803615. МР  2320282. S2CID  15577499.
27. Патай, Л. (1930). «Untersuchungen über die א-reihe». Mathematische und Naturwissenschaftliche Berichte aus Ungarn (на немецком языке). 37 : 127–142.
28. Хайден, Сеймур; Кеннисон, Джон Ф. (1968). Теория множеств Цермело-Френкеля . Колумбус, Огайо: Чарльз Э. Меррилл. п. 147, упражнение 76.

• Мэдди, Пенелопа (июнь 1988 г.). «Веря в аксиомы, [часть I]». Журнал символической логики . Ассоциация символической логики. 53 (2): 481–511. дои : 10.2307/2274520. JSTOR  2274520.

Источники

• Эта статья включает в себя материал из гипотезы обобщенного континуума по PlanetMath , которая распространяется под лицензией Creative Commons Attribution/Share-Alike License . Архивировано 8 февраля 2017 г. в Wayback Machine.

дальнейшее чтение

• Коэн, Пол Джозеф (2008) [1966]. Теория множеств и гипотеза континуума . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-46921-8.
• Дейлс, ХГ; Вудин, WH (1987). Введение в независимость для аналитиков . Кембридж.
• Эндертон, Герберт (1977). Элементы теории множеств . Академическая пресса.
• Гёдель К.: Что такое проблема Кантора с континуумом? , перепечатано в сборнике Бенасеррафа и Патнэма «Философия математики» , 2-е изд., Cambridge University Press, 1983. Краткое изложение аргументов Гёделя против CH.
• Мартин, Д. (1976). «Первая проблема Гильберта: гипотеза континуума», в книге « Математические разработки, возникающие из проблем Гильберта», « Труды симпозиума по чистой математике XXVIII», Ф. Браудер, редактор. Американское математическое общество, 1976, стр. 81–92. ISBN 0-8218-1428-1 
• Макгоф, Нэнси. «Гипотеза континуума».
• Волчовер, Натали (15 июля 2021 г.). «Сколько существует чисел? Доказательство бесконечности приближает математику к ответу».

Внешние ссылки

Цитаты, связанные с гипотезой континуума, в Wikiquote

• Судзик, Мэтью и Вайсштейн, Эрик В. «Гипотеза континуума». Математический мир .