[MD-sorular] (konu yok)

[ali nesin]

Anladik tabii ne demek istedigini... Kizan, sinirlenen olmadi, merak etme.

Ama Zafer'in yorumundan "kumeler kuraminin genel kabul gormus aksiyomlari
son derece dogal aksiyomlardir" anlami cikmamali.

Kumeler kuraminin bazi aksiyomlari gercekten cok dogaldir ve olmazsa
olmazdir.

Ancak secim aksiyomu (Axiom of Choice) ve yerlestirme aksiyomu (Axiom of
Replacement) Godel, Cohen, Martin gibi bircok onemli mantikci-matematikci
tarafindan dogal kabul edilmezler. Bence de oyle. Yani bu aksiyomlar kumeler
kuraminin dogasinda olan ve illa da olmasi gereken aksiyomlar olarak
gorulmezler.

Bunlara bir de temellendirme aksiyomunu (Axiom of Foundation) ekleyebiliriz
ama bu aksiyom bilinen standart matematikte pek kullanilmadigindan ve
uygulamasi olmadigindan o kadar onemli degildir.

Bu uc aksiyom kumeler kuraminin eti kemigi olmasa da kumeler kuramini
sehvetli kilan yaglaridir!

Bu dogallik konusu sonuc olarak felsefi bir sorudur. Gercegi nasil
algiladigimiza gore yanit degisir.

MD'de bu konudan uzun uzadiya sozettik. Ustelik konuyu dunyanin hicbir
yerinde gorulmemis derecede basite indirgeyerek. Eminim gun gelecek o onemli
matematiksel ve felsefi yazilarin degeri kabul gorecek.

Tevazu eksikligini hosgorun!

Ali

 

 

  _____  

From: md-sorular-bounces at matematikdunyasi.org
[mailto:md-sorular-bounces at matematikdunyasi.org] On Behalf Of Kerem Altun
Sent: Tuesday, May 08, 2007 5:08 PM
To: MD-sorular at matematikdunyasi.org
Subject: Re: [MD-sorular] (konu yok)

 

Herhalde bir yanlis anlama olmus, "ne ise yariyor bunlar, niye yapiyorsunuz
bu isi" anlaminda yazmamistim. MD'de bir uygulamali matematik kosesi olsa
belki daha iyi olur diye dusunuyorum, kisaca soylemek istedigim buydu. 

Kerem



On 5/8/07, zafer ercan <zercan at metu.edu.tr> wrote:



Kumeler kuramini var yapan aksiyomlar ne kadar anlamli ise Secme
beliti de o kadar anlamlidir. Hepsi kumeler kuraminin ''eti
kemigidir''.

Matematigin ne ise yaradiginin en iyi yanitlarindan biri: Su anda 
vakit gecirmemize, eglenmemize, sinirlenmemize vb seylere yariyor.
İleride de sanirim ayni islere yarayacak....

Zafer

-------------------
>"Ne bileyim ornegin "her vektor uzayinin bir tabani vardir" teoremi 
Zorn
>onsaviyla kanitlanabiliyor bildigim kadariyla."
>
>http://www.math.metu.edu.tr/~berkman/choice/can.pdf
> <http://www.math.metu.edu.tr/~berkman/choice/>
http://www.math.metu.edu.tr/~berkman/choice/
>http://www.math.metu.edu.tr/~berkman/choice/ali.doc
>
>"MD 2006-II sayisinda secim belitinin ne olduguna dair bircok guzel 
yazi
>vardi. Ama secim belitinin ne ise yaradigina dair bir yazi yoktu."
>
>Bir şeyin ne olduğuna dair bir yazı aynı zamanda ne işe yaradığına
dair bir
>yazıdır.
>
>Ali
> 
>
>08.05.2007 tarihinde Kerem Altun <kerem.altun at gmail.com> yazmış:
>>
>> MD 2006-II sayisinda secim belitinin ne olduguna dair bircok guzel
yazi
>> vardi. Ama secim belitinin ne ise yaradigina dair bir yazi yoktu.
Ne bileyim
>> ornegin "her vektor uzayinin bir tabani vardir" teoremi Zorn
onsaviyla
>> kanitlanabiliyor bildigim kadariyla. Yani secim beliti lazim. Tabi 
bunun
>> icin vektor uzayi ve tabanin ne oldugunun da bilinmesi gerek. Sonra
da her
>> vektor uzayinin tabaninin olmasinin ne isimize yaradiginin
anlatilmasi
>> gerek. (Ornegin her vektor uzayinin bir tabani olmasaydi su an cep 
telefonu
>> kullanamiyor olurduk.) Zaten MD'de uygulamali matematik konusunda
yazilar
>> bulunmasi gerektigini de dusunuyorum ben. Aboneligin dusmesinin
sebebi belki
>> de budur.
>>
>> Baska ne ise yaradigini da bilmiyorum aslinda secim belitinin.
Ornegin ben
>> muhendislik ogrencisiyim, ve uygulamasi olan matematiksel kuramlar
bana daha
>> ilginc geliyor. Boyle dusunen baska muhendislik ogrencileri ve 
ogretim
>> uyeleri de biliyorum. Gecenlerde bir derste bir hoca yanlis
hatirlamiyorsam
>> Hardy'nin bir sozunu soyledi: yaptigi matematigin uygulamasinin
olmamasi ile
>> gurur duyuyormus. Eh dalga gecildi tabii. 
>>
>> Ornegin asallarin sonsuz olmasinin bu haliyle benim icin pek bir
>> cekiciligi yok. Ya da rasyonellerin sayilabilir olmasinin. Yani
aslinda
>> benim icin var da bu kisisel birsey, cogu muhendislik ogrencisini 
>> ilgilendirmez bunlar. Dergide matematigin uygulamalarindan da
bahsedilse
>> daha genis bir kitleye hitap edecegi dusuncesindeyim.
>>
>> Son birkac sayidaki ordinal ve kardinal sayilari konulari benim 
icin fazla
>> teorikti ve pek ilgimi cekmedi. Ama mesela koniklerle ilgili ya da
cizge
>> kuramiyla ilgili konular ilgimi cekmisti, hatta o sayilari hala
okuyorum.
>> Dergiyi almayi birakacak degilim (abone de degilim ama her sayiyi 
aliyorum),
>> gercekten desteklenmesi gerektigini dusunuyorum. 3-5 birsey
anlayinca bu da
>> kar kaliyor. Bilginize.
>>
>>
>> Kerem
>>
>>
>>
>> On 5/7/07, Metin Sarayköylü <metinsaraykoylu at gmail.com > wrote:
>> >
>> >
>> > Bkz. Matematik Dunyasi 2006-II
>> > 
>> > Iyi calismalar,
>> >
>> > Metin
>> >
>> > --
>> > Metin Sarayköylü
>> > Istanbul Bilgi University
>> >
>> > 07.05.2007 tarihinde Selcuk KARAKOC <selcukkarakoc4 at hotmail.com >
>> > yazmış:
>> > >
>> > > Iyi gunler herkese
>> > > Axiom of choise nedir? Bir turlu anlayamadım bana bunu bi kac 
ornekle
>> > > acıkllayabilir misiniz?
>> > >
>> > > ------------------------------
>> > > Discover the new Windows Vista Learn
more!< <http://search.msn.com/results.aspx?q=windows+vista&mkt=en-US&for>
http://search.msn.com/results.aspx?q=windows+vista&mkt=en-US&for
m=QBRE>
>> > >
>> > > _______________________________________________
>> > > MD-sorular mailing list 
>> > > MD-sorular at matematikdunyasi.org
>> > > http://matematikdunyasi.org/mailman/listinfo/md-sorular 
>> > >
>> > >
>> >
>> >
>> >
>> > _______________________________________________
>> > MD-sorular mailing list
>> > MD-sorular at matematikdunyasi.org
>> > http://matematikdunyasi.org/mailman/listinfo/md-sorular 
>> >
>> >
>>
>> _______________________________________________
>> MD-sorular mailing list
>> MD-sorular at matematikdunyasi.org 
>> http://matematikdunyasi.org/mailman/listinfo/md-sorular
>>
>>
>
>
>--
>Ali
>

 


-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20070508/57f06f8c/attachment.htm