Gyorsabb hozzáférés, mint a böngésző!
12 kapcsolatok: Axiomatikus halmazelmélet, Bertrand Russell, Cantor-paradoxon, Gödel első nemteljességi tétele, Halmaz (matematika), Halmazelmélet, Matematika, Naiv halmazelmélet, Neumann–Bernays–Gödel-halmazelmélet, Rendezett pár, Russell-paradoxon, Természetes számok.
Axiomatikus halmazelmélet
Az axiomatikus halmazelmélet (Neumann- Bernays- Gödel (NBG) axiomatikus halmazelmélet) a matematika halmazelmélet nevű résztudományának axiomatikus-deduktív módon történő kifejtése.
Új!!: Osztály (halmazelmélet) és Axiomatikus halmazelmélet · Többet látni »
Bertrand Russell
Bertrand Russell (Ravenscroft (Monmouthshire), Wales, 1872. május 18. – Penrhyndeudraeth, Wales, 1970. február 2.) irodalmi Nobel-díjas angol matematikus, logikatudós, filozófus és szociológus, Kingston III.
Új!!: Osztály (halmazelmélet) és Bertrand Russell · Többet látni »
Cantor-paradoxon
A Cantor-paradoxon egy ellentmondás a naiv halmazelméletben, amely abból származik, hogy megengedett a legnagyobb számosságú (vagy kardinális számú) halmaz (például az univerzális halmaz) létezése.
Új!!: Osztály (halmazelmélet) és Cantor-paradoxon · Többet látni »
Gödel első nemteljességi tétele
''Gödel I. nemteljességi tételének elve''. Az aritmetikában felírható az a ☐''A'' formula, melynek jelentése: „''A'' levezethető”, és az a '''G''' Gödel-mondat, melynek jelentése: ''a'' '''G''' ''mondat (tehát saját maga) nem levezethető''. Ha az aritmetikából nem vezethető le ellentmondás ''(T'' ⊬ '''f')'', akkor sem '''G''', sem negációja (¬'''G''') nem bizonyítható, azaz '''G''' „igazságértéke” a matematika számára eldönthetetlen. Gödel első nemteljességi tétele Kurt Gödel osztrák matematikus matematikai logika és a metamatematika nagy jelentőségű tétele, mely (a Gödel második nemteljességi tételével együtt) destruktív hatást gyakorolt a matematika formális nyelvekre építő megalapozási kísérleteire.
Új!!: Osztály (halmazelmélet) és Gödel első nemteljességi tétele · Többet látni »
Halmaz (matematika)
A halmaz a matematika egyik legalapvetőbb fogalma, melyet leginkább az „összesség”, „sokaság” szavakkal tudunk körülírni (egy Georg Cantor által adott körülírását ld. lentebb); de mivel igazából alapfogalom, így nem tartjuk definiálandónak.
Új!!: Osztály (halmazelmélet) és Halmaz (matematika) · Többet látni »
Halmazelmélet
A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.
Új!!: Osztály (halmazelmélet) és Halmazelmélet · Többet látni »
Matematika
Pszeudoszféra Marosvásárhelyen, a Bolyai téren Euklidész: ''Elemek'' c. híres geometria-tankönyvéhez (Franciaország, XIV. szd. első évtizedei) A matematika tárgyát és módszereit tekintve, sajátos tudomány, mely részben a többi tudomány által vizsgált, részben pedig a matematika „belső” fejlődéséből adódóan létrejött (felfedezett, ill. feltalált) rendszereket, struktúrákat, azok absztrakt, közösen meglévő tulajdonságait vizsgálja.
Új!!: Osztály (halmazelmélet) és Matematika · Többet látni »
Naiv halmazelmélet
A halmazelmélet alapjait Georg Cantor rakta le egy 1874-ben megjelent cikkében, melyben a valós számok nem megszámlálhatóan végtelen voltát bizonyította be elsőként.
Új!!: Osztály (halmazelmélet) és Naiv halmazelmélet · Többet látni »
Neumann–Bernays–Gödel-halmazelmélet
A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a Zermelo–Fraenkel-halmazelmélethez hasonló módon formalizálni.
Új!!: Osztály (halmazelmélet) és Neumann–Bernays–Gödel-halmazelmélet · Többet látni »
Rendezett pár
A rendezett pár matematikai fogalom, két dolog együttesét (párosát) akkor nevezzük rendezett párnak, ha a két dolog sorrendje is lényeges, szemben a rendezetlen párral, amely esetén csak az elemek egy párba tartozása számít; de az nem, hogy melyik az első és melyik a második elem.
Új!!: Osztály (halmazelmélet) és Rendezett pár · Többet látni »
Russell-paradoxon
Bertrand Russell 1901-ben felfedezte, hogy a matematika akkori naiv halmazelméleti és logikai megalapozása a róla elnevezett Russell-paradoxont is tartalmazza.
Új!!: Osztály (halmazelmélet) és Russell-paradoxon · Többet látni »
Természetes számok
Természetes számoknak nevezik.
Új!!: Osztály (halmazelmélet) és Természetes számok · Többet látni »
