19 odnosi: Bijektivna preslikava, Celo število, Desetiški številski sistem, Dokaz s protislovjem, Georg Ferdinand Cantor, Interval, Kardinalnost, Matematični dokaz, Množica, Naravno število, Neskončnost, Podmnožica, Protislovje, Racionalno število, Realno število, Surjektivna preslikava, Teorija množic, Willard Van Orman Quine, Zaporedje.
Bijektivna preslikava
Bíjektivna preslikáva ali bijékcija je v matematiki preslikava f: A → B, ki je injektivna in surjektivna hkrati.
Novo!!: Cantorjev diagonalni dokaz in Bijektivna preslikava · Poglej več »
Celo število
Množica célih števíl, običajno označena kot Z (Z ali \mathbb) (število) je določena kot množica ekvivalenčnih razredov urejenih parov naravnih števil N x N z ekvivalenčno relacijo (a, b) ~ (c, d), pri kateri velja: Dvočleni aritmetični operaciji seštevanja in množenja celih števil sta določeni z: Običajno se razred (a, b) označi z znakom n, če velja b ≤ a in −n, če je a ≤ b, kjer je n poljubno naravno število, da velja a.
Novo!!: Cantorjev diagonalni dokaz in Celo število · Poglej več »
Desetiški številski sistem
Desetiški (decimalni) številski sistem je številski sistem z osnovo 10.
Novo!!: Cantorjev diagonalni dokaz in Desetiški številski sistem · Poglej več »
Dokaz s protislovjem
Dokàz s protislóvjem je vrsta logičnega argumenta, kjer se za potrebe argumenta privzame neko predpostavko T kot pravilno in s sklepanjem iz te trditve in drugih že dokazanih trditev in aksiomov pride do protislovnega rezultata, iz česar se lahko sklepa, da je predpostavka T nujno logično napačna.
Novo!!: Cantorjev diagonalni dokaz in Dokaz s protislovjem · Poglej več »
Georg Ferdinand Cantor
Georg Ferdinand Ludwig Philipp Cantor, nemški matematik, * 3. marec (19. februar, ruski koledar) 1845, Sankt Peterburg, Ruski imperij (sedaj Rusija), † 6. januar 1918, Halle, Saška, Nemško cesarstvo (sedaj Nemčija).
Novo!!: Cantorjev diagonalni dokaz in Georg Ferdinand Cantor · Poglej več »
Interval
Intervál je lahko.
Novo!!: Cantorjev diagonalni dokaz in Interval · Poglej več »
Kardinalnost
Kardinalnost (tudi moč množice ali števnost množice) množice je merilo za merjenje števila elementov v množici oziroma za velikost množice.
Novo!!: Cantorjev diagonalni dokaz in Kardinalnost · Poglej več »
Matematični dokaz
language.
Novo!!: Cantorjev diagonalni dokaz in Matematični dokaz · Poglej več »
Množica
Mnóžica je v matematiki skupina abstraktnih ali stvarnih (konkretnih) reči.
Novo!!: Cantorjev diagonalni dokaz in Množica · Poglej več »
Naravno število
Narávno števílo je katerokoli število iz neskončne množice pozitivnih celih števil.
Novo!!: Cantorjev diagonalni dokaz in Naravno število · Poglej več »
Neskončnost
right Neskônčnost, navadno označena s znakom \infty, je značilnost, ki pomeni, da nekaj ni omejeno ali nima mej.
Novo!!: Cantorjev diagonalni dokaz in Neskončnost · Poglej več »
Podmnožica
PodmnožicaPodmnožica X⊆Y v Eulerjevem diagramu Podmnožica ali delna množica množice Y je v matematiki množica X, če so vsi elementi X tudi v Y. Relacijo z matematičnim zapisom zapišemo X ⊆ Y. Ali drugače, X ⊆ Y tedaj in le tedaj, ko X ne vsebuje nobenega elementa, ki ni tudi član množice Y. Množica Y v tem primeru se imenuje supermnožica množice X in zapišemo Y ⊇ X. Vsaka množica Y je sama sebi podmnožica.
Novo!!: Cantorjev diagonalni dokaz in Podmnožica · Poglej več »
Protislovje
Aristotelove logike. Protislóvje (s tujko kontradíkcija in tudi antinomíja, starinsko protiréčje) je v klasični logiki pojav ali stanje sestavljeno iz logične nezdružljivosti med dvema ali več trditvami (propozicijami).
Novo!!: Cantorjev diagonalni dokaz in Protislovje · Poglej več »
Racionalno število
Racionálno števílo je v matematiki število, ki ga lahko izrazimo kot razmerje ali količnik (kvocient) dveh celih števil.
Novo!!: Cantorjev diagonalni dokaz in Racionalno število · Poglej več »
Realno število
Številska premica Reálno števílo je matematični pojem, intuitivno določen kot število, ki ustreza točki na številski premici.
Novo!!: Cantorjev diagonalni dokaz in Realno število · Poglej več »
Surjektivna preslikava
Súrjektivna preslikáva ali surjékcija je v matematiki preslikava f: A → B, pri kateri je vsak element iz množice B slika vsaj enega elementa iz množice A: Če je f surjektivna preslikava, rečemo tudi, da f preslika množico A na množico B. Množica B je lahko načeloma poljubna množica, vendar najpogosteje privzamemo, da je f realna funkcija in da je torej B množica realnih števil.
Novo!!: Cantorjev diagonalni dokaz in Surjektivna preslikava · Poglej več »
Teorija množic
Teoríja mnóžic je osnovna matematična disciplina, ki definira in preučuje značilnosti množic in na kateri je zgrajena večina sodobne matematike.
Novo!!: Cantorjev diagonalni dokaz in Teorija množic · Poglej več »
Willard Van Orman Quine
Willard Van Orman Quine (/kwaɪn/, ameriški filozof in logik, * 25. junij 1908, Akron, Ohio, ZDA, † 25. december 2000, Boston, Massachusetts, ZDA. Uvrščamo med najvplivnejše filozofe druge polovice dvajsetega stoletja. Deloval je na področjih matematične logike, teorije množic, filozofije jezika in filozofije logike. Leta 1956 je na Univerzi Harvard zasedel stolico filozofa Edgarja Pierceja in jo obdržal do svoje upokojitve 1978, nato pa kot zaslužni profesor do svoje smrti leta 2000. Leta 1993 je osvojil prvo nagrado Schock Prize na področju logike in filozofije, leta 1996 pa Kyotsko nagrado umetnosti in znanosti, ko je predlagal številne teorije na podlagi širšega vpogleda v logiko, epistemologijo, filozofijo znanosti in filozofijo jezikov. Kljub temu, da se je ukvarjal s tradicijo analitične filozofije, je bil hkrati glavni zagovornik ideje, da filozofija ni pojmovna analiza, temveč abstraktna veja empirične znanosti.
Novo!!: Cantorjev diagonalni dokaz in Willard Van Orman Quine · Poglej več »
Zaporedje
Zaporédje je v matematiki vsaka množica objektov, po navadi števil, ki je razporejena tako, da je en njen element a_0 prvi, en element a_1 drugi, en element a_3 itd.
Novo!!: Cantorjev diagonalni dokaz in Zaporedje · Poglej več »