Naif küme teorisi

Naif küme teorisi, 19. yüzyılın sonlarında geliştirilen orijinal küme teorisidir. Bu teori, bir kümenin bazı ortak özelliklerle birleştirilen farklı şeylerin bir koleksiyonu olarak düşünülmesini sağlar. Ayrık matematikten zaten bilinen örneğin, bir kümede hangi öğelerin bulunduğunu gösteren Venn diyagramları veya Boole cebiri gibi kavramların çoğu kullanılır. Saf küme teorisindeki ciddi kusurların (Russel paradoksu gibi) keşfine yanıt olarak geliştirilen aksiyomatik küme teorisi ile karıştırılmamalıdır. Çağdaş matematik ve mühendisliğin birçok alanı için yeterince güçlüdür.[1]

Naif küme teorisi bir dizi soruna yol açar:

  • 1897'de keşfedilen Burali-Forti paradoksu nedeniyle tüm sıra sayıları kümesini oluşturmak mümkün değildir.
  • Cantor paradoksu'nda gösterildiği gibi (Birinci Cantor paradoksu) tüm kardinal sayıların kümesini oluşturmak mümkün değildir.
  • Her şeyin veya kümelerin kümesini oluşturmak mümkün değildir. Cantor paradoksunun ikincisinde gösterildiği gibi (1899'da keşfedildi).
  • Kendilerini içermeyen tüm kümelerin kümesi, 1902'de keşfedilen Russell paradoksu'nu oluşturur.

Yukarıdaki tüm problemler ancak aksiyomlar, kümeleri ve özelliklerini tanımlamak için kullanılabildiğinde problem olarak gösterilebilir.

Richard Dedekind (1831-1916) bu durumu keşfetti ve 1888'de yeni bir küme teorisi başlattı. Keşfettiği küme teorisinde kümeler hakkında aksiyomlar vardır. Ancak onun aksiyomatik küme teorisi de yine de yeterince iyi değildir çünkü:

Kaynakça

değiştir
  1. ^ "Categorical algebra and set-theoretic foundations", Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), Amer. Math. Soc., Providence, R.I., 1971, ss. 231-240 . "The working mathematicians usually thought in terms of a naïve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naïvely" by mathematicians not sophisticated in foundational research" (p. 236).

Kaynaklar

değiştir

Dış bağlantılar

değiştir