Téori impunan: Béda antara owahan

Konten dihapus Konten ditambahkan

Salarik

Révisi kala 7 Sèptèmber 2016 10.26

Téori impunan iku cawang logika matématika sing nyinaoni impunan, kang ora resminé ya iku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téori impunan digunakaké paling kerep kanggo obyek sing cocog kanggo matématika. Basa téori impunan bisa digunakaké ing ukara salawasé kabèh objèk matématika.

Kajian modhèren téori impunan iki diwiwiti déning Georg Cantor lan Richard Dedekind ing 1870-an. Sawisé ditemokaké paradhoks ing téori impunan naif, akèh sistem aksiom padha diajokaké ing awal abad rong puluh, sing paling misuwur ya iku aksiom Zermelo-Fraenkel, nganggo aksioma pilihan.

Téori impunan umum digunakaké minangka sistem dhasar kanggo matématika, utamané ing wangun téori impunan Zermelo-Fraenkel karo aksiom pilihan. Sajabane kagunan dhasaré, téori impunan iku cawang matématika dhéwé, kanthi masarakat riset sing aktif. Riset kontemporèr saka téori impunan kalebu topik kang werna-werna, saka struktur garis wilangan réal nganti nyinaoni konsistènsi saka kardhinal gedhé.

Cathetan

Wacan luwih lanjut

Devlin, Keith, 1993. The Joy of Sets (2nd ed.). Springer Verlag, ISBN 0-387-94094-4
Ferreirós, Jose, 2007 (1999). Labyrinth of Thought: A history of set theory and its role in modern mathematics. Basel, Birkhäuser. ISBN 978-3-7643-8349-7
Johnson, Philip, 1972. A History of Set Theory. Prindle, Weber & Schmidt ISBN 0-87150-154-6
Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. North-Holland, ISBN 0-444-85401-0.
Potter, Michael, 2004. Set Theory and Its Philosophy: A Critical Introduction. Oxford University Press.
Tiles, Mary, 2004 (1989). The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise. Dover Publications. ISBN 978-0-486-43520-6

Pranala njaba

Foreman, Matthew, Akihiro Kanamori, eds. Handbook of Set Theory. 3 vols., 2010. Each chapter surveys some aspect of contemporary research in set theory. Does not cover established elementary set theory, on which see Devlin (1993).
Cithakan:Springer
Cithakan:Springer
Jech, Thomas (2002). "Set Theory", Stanford Encyclopedia of Philosophy.
Schoenflies, Arthur (1898). Mengenlehre in Klein's encyclopedia.
Cithakan:Library resources about

@@ Larik 2: / Larik 2: @@
 -->
 [[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]]
-'''Téori himpunan''' iku cabang [[logika matématika]] sing nyinaoni [[Himpunan (matématika)|himpunan]], kang ora resminé yaiku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukake menyang himpunan, téori himpunan digunakaké paling kereb kanggo obyek sing cocog kanggo matématika. Basa téori himpunan bisa digunakake ing ukara saklawasé kabeh [[objèk matématika]].
+'''Téori impunan''' iku cawang [[logika matématika]] sing nyinaoni [[Himpunan (matématika)|impunan]], kang ora resminé ya iku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téori impunan digunakaké paling kerep kanggo obyek sing cocog kanggo matématika. Basa téori impunan bisa digunakaké ing ukara salawasé kabèh [[objèk matématika]].
-Pangkajian modhèrn téori himpunan iki diwiwiti dening [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé ditemokaké [[Paradhoks téori himpunan|paradhoks]] ing [[téori himpunan naif]], akeh sistem aksiom padha diajokaké ing awal abad rong puloh, sing paling misuwur yaiku [[Téori himpunan Zermelo-Fraenkel|aksioma Zermelo-Fraenkel]], nganggo [[aksiom pilihan]].
+Kajian modhèren téori impunan iki diwiwiti déning [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé ditemokaké [[Paradhoks téori himpunan|paradhoks]] ing [[téori himpunan naif|téori impunan naif]], akèh sistem aksiom padha diajokaké ing awal abad rong puluh, sing paling misuwur ya iku [[Téori himpunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]].
-Téori himpunan umum digunaaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], utamané ing wangun [[téori himpunan Zermelo-Fraenkel]] karo aksiom pilihan. Saknjabane peran dhasaré, téori himpunan iku cabang matématika dhewe, kanthi masyarakat risèt aktif. Risèt kontemporer saka téori himpunan kalebu topik kang werna-werna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé]].
+Téori impunan umum digunakaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], utamané ing wangun [[téori himpunan Zermelo-Fraenkel|téori impunan Zermelo-Fraenkel]] karo aksiom pilihan. Sajabane kagunan dhasaré, téori impunan iku cawang matématika dhéwé, kanthi masarakat riset sing aktif. Riset kontemporèr saka téori impunan kalebu topik kang werna-werna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé|kardhinal gedhé]].
 ==Cathetan==