Naif küme teorisi 19 yüzyılın sonlarında geliştirilen orijinal küme teorisidir Bu teori bir kümenin bazı ortak

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 ile karıştırılmamalıdır. Çağdaş matematik ve mühendisliğin birçok alanı için yeterince güçlüdür.

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

1897'de keşfedilen nedeniyle tüm sıra sayıları kümesini oluşturmak mümkün değildir.
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ü:

Tüm sonlu ondalık sayılar kümesi, 1905'te keşfedilen yol açar.
Tüm sonlu doğal sayılar kümesi, 1908'de keşfedilen gösterir.
Sahip olmadıkları bir özelliği tanımlayan tüm kelimelerin kümesine, 1908'de keşfedilen denir.

Kaynakça

^ "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

Bourbaki, N.
Cantor, Georg (1874), "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen", , 1874 (77), ss. 258-262, doi:10.1515/crll.1874.77.258, 4 Haziran 2012 tarihinde kaynağından arşivlendi, erişim tarihi: 19 Haziran 2023, See also pdf version
(1893), Grundgesetze der Arithmetik, 1, Jena
(1960). . Princeton, NJ: D. Van Nostrand Company.
- Halmos, Paul (1974). Naive Set Theory (Reprint bas.). New York: Springer-Verlag. ISBN .
- Halmos, Paul (2011). Naive Set Theory (Paperback bas.). Mansfield Centre, CN: D. Van Nostrand Company. ISBN .
(2002). Set theory, third millennium edition (revised and expanded). Springer. ISBN .
, General Topology, Van Nostrand Reinhold, New York, NY, 1955.
.
Meschkowski, Herbert; Nilson, Winfried (1991), Georg Cantor: Briefe. Edited by the authors., Berlin: Springer, ISBN
Peano, Giuseppe (1889), Arithmetices Principies nova Methoda exposita, Torino
Zermelo, Ernst (1932), Georg Cantor, Berlin: Springer

Dış bağlantılar

Beginnings of set theory 28 Ekim 2019 tarihinde Wayback Machine sitesinde .
Earliest Known Uses of Some of the Words of Mathematics (S) 3 Kasım 2017 tarihinde Wayback Machine sitesinde .

[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).