[MD-sorular] sayilabilir "sey"ler

E. Mehmet Kıral luzumi at gmail.com
8 Ağu 2008 Cum 22:47:17 EEST


Dediğin gibi bir topluluğu sayılabilir ya da sayılamaz diye
nitelendirmek için öncelikle bir küme olması gerekir. Çünkü bir
topluluk sayılabilirdir demek doğal sayılar ile aralarında bir eşleşme
(yani bir fonksiyon) var demektir. Bir fonksiyonun olması da öncelikle
bahsettiğimiz topluluğun bir küme olduğu anlamına gelir.

Ancak başka bir şekilde ifade ederek (yukarıdaki gibi) bu şahane
soruyu anlamlandırabiliriz.

2008/8/8 E. Mehmet Kıral <luzumi at gmail.com>:
> Sentaktik problemden daha başka bir problem var elimizde. Soruyu doğal
> sayıların her alttopluluğu bir küme midir diye de sorabiliriz.
>
> 2008/8/8 Kerem Altun <kerem.altun at gmail.com>:
>> Her toplulugun bir kume olmadigini MD'den biliyoruz. Sonlu her toplulugun
>> bir kume oldugunu da biliyoruz. Sayilabilir bir toplulugun bir kume
>> olabilecegini de biliyoruz, ornegin dogal sayilar. Peki sayilabilir bir
>> "topluluk"un bir kume olmadigi bir durum olabilir mi? Yoksa bir "sey"i
>> sayilabilir ya da sayilamaz diye nitelendirmek icin onun herseyden once bir
>> kume olmasi mi gerekiyor?
>>
>> Kerem
>>
>>
>> _______________________________________________
>> MD-sorular e-posta listesi
>> sorular at matematikdunyasi.org
>> http://matematikdunyasi.org/mailman/listinfo/md-sorular
>>
>>
>
>
>
> --
> God exists since mathematics is consistent, and the Devil exists since
> we cannot prove it. - André Weil
>



-- 
God exists since mathematics is consistent, and the Devil exists since
we cannot prove it. - André Weil


MD-sorular mesaj listesiyle ilgili daha fazla bilgi