Téori impunan: Béda antara owahan
Konten dihapus Konten ditambahkan
→top: éjaan, replaced: utamané → mliginé |
éjaan, replaced: téori → téyori (8), Téori → Téyori (4) |
||
| 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]].]] |
[[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]] |
||
''' |
'''Téyori impunan''' iku cawang [[logika matématika]] sing nyinaoni [[Impunan (matématika)|impunan]], kang ora resminé ya iku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téyori impunan digunakaké paling kerep kanggo obyek sing cocog kanggo matématika. Basa téyori impunan bisa digunakaké ing ukara salawasé kabèh [[objèk matématika]]. |
||
Kajian modhèren |
Kajian modhèren téyori impunan iki diwiwiti déning [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé tinemu [[Paradhoks téyori impunan|paradhoks]] ing [[téyori impunan naif]], akèh sistem aksiom padha diajokaké ing awal abad rong puluh, sing paling misuwur ya iku [[Téyori impunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]]. |
||
Téyori impunan umum digunakaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], mliginé ing wangun [[téyori impunan Zermelo-Fraenkel]] karo aksiom pilihan. Sajabane kagunan dhasaré, téyori impunan iku cawang matématika dhéwé, kanthi masarakat riset sing aktif. Riset kontemporèr saka téyori impunan kalebu topik kang werna-werna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé|kardhinal gedhé]]. |
|||
==Cathetan== |
==Cathetan== |
||
| Larik 32: | Larik 32: | ||
{{Artikel Dhasar}} |
{{Artikel Dhasar}} |
||
[[Kategori: |
[[Kategori:Téyori impunan| ]]<!--Keep first (eponymous category)--> |
||
[[Kategori:Matématika| S]] |
[[Kategori:Matématika| S]] |
||
Révisi kala 21 Agustus 2017 10.27
Téyori 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éyori impunan digunakaké paling kerep kanggo obyek sing cocog kanggo matématika. Basa téyori impunan bisa digunakaké ing ukara salawasé kabèh objèk matématika.
Kajian modhèren téyori impunan iki diwiwiti déning Georg Cantor lan Richard Dedekind ing 1870-an. Sawisé tinemu paradhoks ing téyori 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éyori impunan umum digunakaké minangka sistem dhasar kanggo matématika, mliginé ing wangun téyori impunan Zermelo-Fraenkel karo aksiom pilihan. Sajabane kagunan dhasaré, téyori impunan iku cawang matématika dhéwé, kanthi masarakat riset sing aktif. Riset kontemporèr saka téyori 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
Wikibooks gadhah buku kanthi sesirah
Wikibooks gadhah buku kanthi sesirah
- 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
