About: dbkwik:resource/p9akN7T0ateUrEYsbXpxoA==   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

AttributesValues
rdfs:label
  • Континуум-гипотеза
rdfs:comment
  • В 1877 году Георг Кантор выдвинул и впоследствии безуспешно пытался доказать так называемую конти́нуум-гипо́тезу, которую можно сформулировать следующим образом: Любое бесконечное подмножество континуума является либо счётным, либо континуальным. Континуум-гипотеза стала первой из двадцати трёх математических проблем, о которых Давид Гильберт доложил на II Международном Конгрессе математиков в Париже в 1900 году. Поэтому континуум-гипотеза известна также как первая проблема Гильберта.
dcterms:subject
dbkwik:ru.math/pro...iPageUsesTemplate
abstract
  • В 1877 году Георг Кантор выдвинул и впоследствии безуспешно пытался доказать так называемую конти́нуум-гипо́тезу, которую можно сформулировать следующим образом: Любое бесконечное подмножество континуума является либо счётным, либо континуальным. Континуум-гипотеза стала первой из двадцати трёх математических проблем, о которых Давид Гильберт доложил на II Международном Конгрессе математиков в Париже в 1900 году. Поэтому континуум-гипотеза известна также как первая проблема Гильберта. В 1940 году Курт Гёдель доказал в предположении непротиворечивости системы аксиом Цермело-Френкеля (ZF), что, исходя из аксиом теории множеств вместе с аксиомой выбора, континуум-гипотезу нельзя опровергнуть; а в 1963 году американский математик Пол Коэн доказал (также в предположении непротиворечивости ZF), что континуум-гипотезу нельзя доказать, исходя из тех же аксиом. Таким образом, континуум-гипотеза не зависит от аксиом ZF. Разделение по отрицанию или подтверждению континуум-гипотезы привело к созданию так называемой канторовской теории множеств, которая считает, что мощность множества вещественных чисел или континуума равна и неканторовской теории множеств, в которой это неверно. В последнем случае можно доказать, что между c и заключено бесконечно много кардинальных чисел. Обобщённая континуум-гипотеза утверждает, что для любого бесконечного множества S не существует таких множеств, кардинальное число которых больше, чем у S, но меньше, чем у множества всех его подмножеств . Обобщённая континуум-гипотеза также не противоречит аксиоматике Цермело-Френкеля, и, как показали Серпинский в 1947 г. и Шпеккер в 1952 г., из неё следует аксиома выбора.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software