Kiiremini kui brauser!
44 suhted: Alef-null, Bijektiivne funktsioon, 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 »
Bijektiivne funktsioon
Bijektiivne funktsioon ''f'': ''X'' → ''Y'', kus hulk X on 1, 2, 3, 4 ja hulk Y on A, B, C, D. Näiteks, ''f''(1).
Uus!!: Kontiinumi hüpotees ja Bijektiivne funktsioon · 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
David Hilbert (1886) 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 (saksa Gödelscher Unvollständigkeitssätze, inglise Gödel's incompleteness theorems) ehk Gödeli teoreemid on Kurt Gödeli (1906–1978) kaks teoreemi matemaatilises loogikas, mis demonstreerivad, et iga loogiline süsteem, mis sisaldab formaalset aritmeetikat, on piiratud ehk mittetäielik.
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 Prantsusmaa ainus 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. Ü.
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 ingliskeelne teadusajakiri, mida annab välja The National Academy of Sciences ja kus avaldatakse peamiselt bioloogia, meditsiini ja biotehnoloogia valdkonna artikleid.
Uus!!: Kontiinumi hüpotees ja Proceedings of the National Academy of Sciences of the United States of America · Näe rohkem »
Ratsionaalarv
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õestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.
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 ehk kardinaalsus 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:
Kontiinumhüpotees, Kontiinumi probleem, Kontiinumihüpotees, Kontiinuumhüpotees, Kontiinuumi hüpotees, Kontiinuumihüpotees.
