Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Free
Kiiremini kui brauser!
 

Kontiinumi hüpotees

Index Kontiinumi hüpotees

Kontiinumi hüpotees ehk kontiinuumi hüpotees ehk kontiinumhüpotees ehk kontiinuumhüpotees (inglise keeles continuum hypothesis, lühend CH) on hulgateoorias järgmine väide: Selle väite sõnastas esimest korda Georg Cantor hüpoteesina 1878.

43 suhted: Alef-null, Cantori diagonaaltõestus, David Hilbert, Forsseerimine (matemaatika), Gödeli mittetäielikkuse teoreemid, Georg Cantor, Hüpotees, Hulgateooria, Hulk, Intuitsionistlik loogika, Kardinaalarv, Klassikaline loogika, Kontiinum, Kurt Gödel, Lõpmatu hulk, Matemaatiline analüüs, Ordinaalarv, Pariis, Pärisalamhulk, Platonism (matemaatika), Proceedings of the National Academy of Sciences of the United States of America, Ratsionaalarv, Reaalarvude hulk, Reaalsirge, Täisarv, Tõestus, Tõesus, Topoloogia, Valikuaksioom, Väärus, Võimsus (hulgateooria), Võrdus, Zermelo-Fraenkeli aksiomaatika, 1878, 1900, 1931, 1940, 1963, 1977, 1986, 1987, 2003, 2011.

Alef-null

Alef-null Alef-null on loenduva hulga võimsuse tähisena kasutatav kardinaalarv \aleph_0, vähim kardinaalarv.

Uus!!: Kontiinumi hüpotees ja Alef-null · Näe rohkem »

Cantori diagonaaltõestus

Cantori diagonaaltõestus on Georg Cantorilt pärinev tõestus, et reaalarvude hulk ei ole loenduv.

Uus!!: Kontiinumi hüpotees ja Cantori diagonaaltõestus · Näe rohkem »

David Hilbert

thumb David Hilbert (23. jaanuar 1862 Königsberg – 14. veebruar 1943 Göttingen) oli saksa matemaatik.

Uus!!: Kontiinumi hüpotees ja David Hilbert · Näe rohkem »

Forsseerimine (matemaatika)

Forsseerimine on hulgateoorias meetod, mille abil konstrueeritakse mudeleid, mida rakendatakse peamiselt suhtelistes kooskõlalisustõestustes.

Uus!!: Kontiinumi hüpotees ja Forsseerimine (matemaatika) · Näe rohkem »

Gödeli mittetäielikkuse teoreemid

Gödeli mittetäielikkuse teoreemid (inglise Gödel's incompleteness theorems) ehk Gödeli teoreemid on Kurt Gödeli (1906–1978) kaks teoreemi matemaatilises loogikas, mis demonstreerivad iga loogilise süsteemi, mis sisaldab formaalse aritmeetika, piiratust või mittetäielikkust.

Uus!!: Kontiinumi hüpotees ja Gödeli mittetäielikkuse teoreemid · Näe rohkem »

Georg Cantor

pisi Georg Ferdinand Ludwig Philipp Cantor (3. märts 1845 (vkj 19. veebruar) Peterburi – 6. jaanuar 1918 Halle) oli saksa matemaatik, kes on tuntud peamiselt hulgateooria loojana.

Uus!!: Kontiinumi hüpotees ja Georg Cantor · Näe rohkem »

Hüpotees

Hüpotees on oletus.

Uus!!: Kontiinumi hüpotees ja Hüpotees · Näe rohkem »

Hulgateooria

Hulgateooria on matemaatika haru, mis uurib hulkade üldisi omadusi, samuti järjestusi ja muid seoseid ning mõningaid muid valdkondi.

Uus!!: Kontiinumi hüpotees ja Hulgateooria · Näe rohkem »

Hulk

Hulga mõiste on üks nüüdisaegse matemaatika põhimõisteid.

Uus!!: Kontiinumi hüpotees ja Hulk · Näe rohkem »

Intuitsionistlik loogika

Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).

Uus!!: Kontiinumi hüpotees ja Intuitsionistlik loogika · Näe rohkem »

Kardinaalarv

Kardinaalarv on matemaatiline objekt, mis võib olla hulga võimsus.

Uus!!: Kontiinumi hüpotees ja Kardinaalarv · Näe rohkem »

Klassikaline loogika

Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.

Uus!!: Kontiinumi hüpotees ja Klassikaline loogika · Näe rohkem »

Kontiinum

Kontiinum (ladina keeles continuum) on pidev ning katkematu kulgemine.

Uus!!: Kontiinumi hüpotees ja Kontiinum · Näe rohkem »

Kurt Gödel

Kurt Gödel Kurt Friedrich Gödel (28. aprill 1906 Brno – 14. jaanuar 1978 Princeton) oli Austria-Ameerika loogik, matemaatik ja filosoof.

Uus!!: Kontiinumi hüpotees ja Kurt Gödel · Näe rohkem »

Lõpmatu hulk

Matemaatikas nimetatakse lõpmatuks hulgaks hulka, mis on võrdvõimas mõne oma pärisalamhulgaga.

Uus!!: Kontiinumi hüpotees ja Lõpmatu hulk · Näe rohkem »

Matemaatiline analüüs

Matemaatiline analüüs ehk analüüs on matemaatika haru, mis uurib funktsioone ja nende üldistusi piirväärtuse meetodil.

Uus!!: Kontiinumi hüpotees ja Matemaatiline analüüs · Näe rohkem »

Ordinaalarv

Ordinaalarvud on matemaatilised objektid, mis üldistavad elemendi positsiooni (indeksi) mõiste jadas täielikele järjestustele suvalistel hulkadel.

Uus!!: Kontiinumi hüpotees ja Ordinaalarv · Näe rohkem »

Pariis

Pariis (prantsuse keeles Paris) on Prantsusmaa pealinn ja Île-de-France'i piirkonna halduskeskus ning ainus prantsuse vald-departemang.

Uus!!: Kontiinumi hüpotees ja Pariis · Näe rohkem »

Pärisalamhulk

Hulk A on hulga B pärisalamhulk parajasti siis, kui hulk A on hulga B alamhulk, mis ei ühti hulgaga B. Ü. Kaasik, Matemaatikaleksikon (2002) Samaväärselt võib öelda, et hulk B on hulga A pärisülemhulk.

Uus!!: Kontiinumi hüpotees ja Pärisalamhulk · Näe rohkem »

Platonism (matemaatika)

Platonism ehk matemaatiline platonism on filosoofias seisukoht, mille järgi on sõltumatult inimestest, keelest, mõtlemisest ja inimtegevusest olemas abstraktsed matemaatilised objektid.

Uus!!: Kontiinumi hüpotees ja Platonism (matemaatika) · Näe rohkem »

Proceedings of the National Academy of Sciences of the United States of America

Proceedings of the National Academy of Sciences of the United States of America (lüh PNAS, tsiteerimisel Proc. Natl. Acad. Sci. USA) on 1914.

Uus!!: Kontiinumi hüpotees ja Proceedings of the National Academy of Sciences of the United States of America · Näe rohkem »

Ratsionaalarv

Reaalarvude hulk ℝ sisaldab kõigi ratsionaalarvude hulka ℚ, mis omakorda sisaldab kõigi täisarvude hulka ℤ, mis sisaldab kõigi naturaalarvude hulka ℕ. Ratsionaalarv on arv, mida saab esitada kahe täisarvu m ja n jagatisena.

Uus!!: Kontiinumi hüpotees ja Ratsionaalarv · Näe rohkem »

Reaalarvude hulk

Reaalarvude hulk on hulk, mille elementideks on kõik reaalarvud.

Uus!!: Kontiinumi hüpotees ja Reaalarvude hulk · Näe rohkem »

Reaalsirge

Reaalsirge on reaalarvude hulk koos reaalarvude loomuliku järjestuse ja teiste loomulike struktuuridega.

Uus!!: Kontiinumi hüpotees ja Reaalsirge · Näe rohkem »

Täisarv

Täisarv on arv, mis on esitatav naturaalarvude vahena.

Uus!!: Kontiinumi hüpotees ja Täisarv · Näe rohkem »

Tõestus

---- Tõestus on arutlus, mis näitab mingi propositsiooni tõesust.

Uus!!: Kontiinumi hüpotees ja Tõestus · Näe rohkem »

Tõesus

Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.

Uus!!: Kontiinumi hüpotees ja Tõesus · Näe rohkem »

Topoloogia

Topoloogia on matemaatika haru, mis uurib kujundite omadusi, mis on invariantsed topoloogiliste teisenduste suhtes.

Uus!!: Kontiinumi hüpotees ja Topoloogia · Näe rohkem »

Valikuaksioom

Valikuaksioom ehk valiku aksioom ehk Zermelo aksioom (inglise keeles axiom of choice, lühend AC) on hulgateooria aksioom, mille kohaselt mittetühjade hulkade mistahes süsteemi korral leidub kujutus, mis seab selle süsteemi igale hulgale vastavusse tema teatava esindaja.

Uus!!: Kontiinumi hüpotees ja Valikuaksioom · Näe rohkem »

Väärus

Väärus on tõesusele vastandlik omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.

Uus!!: Kontiinumi hüpotees ja Väärus · Näe rohkem »

Võimsus (hulgateooria)

Võimsus on hulgateoorias hulga elementide arvu mõistet üldistav mõiste, mis on rakendatav ka lõpmatute hulkade puhul.

Uus!!: Kontiinumi hüpotees ja Võimsus (hulgateooria) · Näe rohkem »

Võrdus

Võrduseks nimetatakse matemaatikas valemit, mis väidab, et kahe avaldise, näiteks a ja b, väärtused on võrdsed.

Uus!!: Kontiinumi hüpotees ja Võrdus · Näe rohkem »

Zermelo-Fraenkeli aksiomaatika

Valikuaksioomiga Zermelo-Fraenkeli aksiomaatika ehk valikuaksioomiga Zermelo-Fraenkeli hulgateooria ehk Zermelo-Fraenkeli aksiomaatika ehk Zermelo-Fraenkeli hulgateooria (tähis ZFC või ZF + C) on üks aksiomaatilise hulgateooria variante, tänapäeval standardne variant.

Uus!!: Kontiinumi hüpotees ja Zermelo-Fraenkeli aksiomaatika · Näe rohkem »

1878

1878.

Uus!!: Kontiinumi hüpotees ja 1878 · Näe rohkem »

1900

1900.

Uus!!: Kontiinumi hüpotees ja 1900 · Näe rohkem »

1931

1931.

Uus!!: Kontiinumi hüpotees ja 1931 · Näe rohkem »

1940

1940.

Uus!!: Kontiinumi hüpotees ja 1940 · Näe rohkem »

1963

1963.

Uus!!: Kontiinumi hüpotees ja 1963 · Näe rohkem »

1977

1977.

Uus!!: Kontiinumi hüpotees ja 1977 · Näe rohkem »

1986

1986.

Uus!!: Kontiinumi hüpotees ja 1986 · Näe rohkem »

1987

1987.

Uus!!: Kontiinumi hüpotees ja 1987 · Näe rohkem »

2003

2003.

Uus!!: Kontiinumi hüpotees ja 2003 · Näe rohkem »

2011

2011.

Uus!!: Kontiinumi hüpotees ja 2011 · Näe rohkem »

Ümbersuunamised siin:

CH, Kontiinumhüpotees, Kontiinumi probleem, Kontiinumihüpotees, Kontiinuumhüpotees, Kontiinuumi hüpotees, Kontiinuumihüpotees.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »