Ünite 6: Kümeler Kuramı — Veri Tablosu

Kümeler Kurami ve Mantik Temsilcileri

Kişi / Kavram	Temel Yaklaşım / Amaç	Önemli Eser / Yöntem	Temel Katkı
Gottlob Frege	Aritmetiğin mantıkla özdeş olduğunu kanıtlamak	Begriffsschrift (Kavram Yazısı)	Fonksiyonlar öğretisini ve formel kesinliği getirdi.
Georg Cantor	Sonsuzlukları ve kümeleri matematikselleştirmek	Diyagonal Yöntem	Kümeler kuramını ve sonsuz ötesi sayıları kurdu.
Begriffsschrift	Günlük dilin belirsizliğinden mantığı kurtarmak	1879 yayımlı eser	Özne-yüklem yerine fonksiyonlar ayrımını getirdi.
Diyagonal Yöntem	Reel sayıların sayılabilir olmadığını kanıtlamak	Varsayımsal ondalık tablo yöntemi	Üst düzey sonsuzluk türlerini kanıtladı.
Kuvvet Kümesi	Bir kümenin tüm alt kümelerini toplamak	𝒰S simgesi ve sayal sayı kıyaslaması	Kuvvet kümesinin sayal sayısı asıldan büyüktür.