Kümeler kuramı
Kümeler teorisi, matematiğin cisim grupları olan kümeleri inceleyen dalıdır. Herhangi bir cisim türü bir küme içine alınabilse de küme teorisi en çok matematik ile ilgili olan cisimlere uygulanır. Küme teorisinin dili, neredeyse bütün matematiksel cisimlerin tanımlarında kullanılabilir. Alman matematikçi Georg Cantor tarafından 1874 ile 1895 yılları arasında geliştirilen ve 20. yüzyıl matematiğinin temelini oluşturan teoridir.
Varlıkların "küme" denen topluluklar hâlinde belirtilmesi çok eski bir işlem olsa da küme uygulamasının teori hâline getirilmesi 19. yüzyılın sonlarında gerçekleşmiştir. Bu teoriye göre kime "yaşlı" deneceği belirsiz olduğu için "yaşlı insanlar kümesi" diye bir küme olamaz. Çünkü yaşlılık kavramı farklı kişilerin zihinlerinde farklı çağrışımlar yaratmakta ve belirli bir kriteri bulunmamaktadır; ancak "59 yaşın üstündeki insanlar kümesi" kurulabilir, çünkü bu kümenin kimleri kapsayacağı bellidir ve cismî bir kriter taşımaktadır.[1]
Alanları
- Belirlilik
- Belirtisiz küme kuramı
- Büyük kardinal
- İç model kuramı
- Kardinal fonksiyon
- Kombinatoryal küme kuramı
- Küme kuramsal topoloji
- Tanımlayıcı küme kuramı
- Zorlama
Kaynaklar
- ↑ Temel Britannica Ansiklopedisi, 10. basım, Ana Yayıncılık, İstanbul, 1993; 11. cilt. ISBN 975-7760-02-01