[Turkmath:6246] Re: [TMD-UYE: 3800] Re: tümevarımın yeri ve Pinter'in ''tanımı''

[tanbay at boun.edu.tr]

her hikayeye bir yerden başlamak lazım.

"in the beginning was the word"

bizimki de öyle.
yazışmalarda ismi geçen ve geçmeyen
büyüklerimiz ve daha az büyüklerimiz
aksiyomatik olan veya olmayan bir sürü sistem ve de tanımlar önermişler.
burada "tutarlılık" çok hassas konu.
ve de
hikaye tutmuş mu tutmamış mı iyice bakmak lazım.
tutmuş hikayelere dokunurken de çok donanımlı olmak şart sanki...



Alinti Zafer ERCAN <Zafer.Ercan at listweb.bilkent.edu.tr>

> Benim dediğim sıralı ikiliyi bir class olarak tanımlıyorsan x ve y  
> kümelerinden oluşan class otamatikman bir küme oluyor. Sorun ya da  
> fazla olan şey verilen her iki kümeyi eleman
> olarak kabul eden ve bunlardan başka elemanı olmayan classı küme  
> kabul etme aksiyomu.
>
> Zafer.
>
> Kimden: "Muhammed Uludag" <muhammed.uludag at gmail.com>
> Kime: "Zafer ERCAN" <zercan at ibu.edu.tr>
> Kk: "Zafer ERCAN" <Zafer.Ercan at listweb.bilkent.edu.tr>, "tmd"  
> <tmd-uye at listweb.bilkent.edu.tr>, "turkmath"  
> <turkmath at listweb.bilkent.edu.tr>
> Gönderilenler: 3 Kasım Cuma 2023 14:19:17
> Konu: Re: [TMD-UYE: 3795] Re: tümevarımın yeri ve Pinter'in ''tanımı''
>
> O halde senin sıralı ikili tanımını alalım.
> Gökten inme mi diyorsun yoksa sen de?
>
> --
> A. M. Uludag
> [ http://math.gsu.edu.tr/uludag/ | http://math.gsu.edu.tr/uludag/ ]
> twittter: @metamathician
>
>
> On Fri, Nov 3, 2023 at 1:55 PM Zafer ERCAN < [  
> mailto:zercan at ibu.edu.tr | zercan at ibu.edu.tr ] > wrote:
>
>
>
> düzeltme: ''... sadece ve sadece y olan bir classın'' değil,  
> ''...sadece ve sadece x ve y olan bir classın'' olacak.
>
>
>
> From: "Zafer ERCAN" < [ mailto:Zafer.Ercan at listweb.bilkent.edu.tr |  
> Zafer.Ercan at listweb.bilkent.edu.tr ] >
> To: "Muhammed Uludag" < [ mailto:muhammed.uludag at gmail.com |  
> muhammed.uludag at gmail.com ] >
> Cc: "tmd" < [ mailto:tmd-uye at listweb.bilkent.edu.tr |  
> tmd-uye at listweb.bilkent.edu.tr ] >, "Zafer ERCAN" < [  
> mailto:Zafer.Ercan at listweb.bilkent.edu.tr |  
> Zafer.Ercan at listweb.bilkent.edu.tr ] >, "turkmath" < [  
> mailto:turkmath at listweb.bilkent.edu.tr |  
> turkmath at listweb.bilkent.edu.tr ] >
> Sent: Friday, November 3, 2023 12:57:58 PM
> Subject: [TMD-UYE: 3795] Re: tümevarımın yeri ve Pinter'in ''tanımı''
>
>
> Muhammed hocam,
>
> o kitapta bir küme bir classın elemanı olan bir class olarak  
> tanımlanıyor. Bu tanıma göre, x ve y kümeleri verildiğinde  
> elemanları sadece ve sadece x ve y'lerden oluşan class bir başka  
> classın elemanı oluyor ve dolayısıyla, bir küme oluyor. Diğer  
> taraftan, kitapta daha sonraki bir bölümde verilen x ve y kümeleri  
> için elemanları sadece ve sadece y olan bir classın bir küme olması  
> bir aksiyom olarak veriliyor. Bu çerçeve içerisinde tanım hatalı ya  
> da tanım değil!
>
> Muhammed hocam, bu soruyu sorduğuna göre bu mevzu seni ''aşmıyor'',  
> zarf atma:-)
>
> Çok selamlar.
>
> Zafer
>
>
>
>
> From: "Muhammed Uludag" < [ mailto:muhammed.uludag at gmail.com |  
> muhammed.uludag at gmail.com ] >
> To: "Zafer ERCAN" < [ mailto:Zafer.Ercan at listweb.bilkent.edu.tr |  
> Zafer.Ercan at listweb.bilkent.edu.tr ] >
> Cc: "turkmath" < [ mailto:turkmath at listweb.bilkent.edu.tr |  
> turkmath at listweb.bilkent.edu.tr ] >, "tmd" < [  
> mailto:tmd-uye at listweb.bilkent.edu.tr |  
> tmd-uye at listweb.bilkent.edu.tr ] >
> Sent: Friday, November 3, 2023 12:30:54 PM
> Subject: Re: [TMD-UYE: 3777] tümevarımın yeri ve Pinter'in ''tanımı''
>
> Zafer hocam
> O tanımı yapan Kuratowski değil miydi?
> [ https://en.wikipedia.org/wiki/Ordered_pair |  
> https://en.wikipedia.org/wiki/Ordered_pair ]
> Tanımın neresi hatalı, onu da bir izah etsen Hocam.
> (Ek1'deki mevzu beni aşıyor)
> Hürmetler
> --
> A. M. Uludag
> [ http://math.gsu.edu.tr/uludag/ | http://math.gsu.edu.tr/uludag/ ]
> twittter: @metamathician
>
>
> On Sun, Oct 22, 2023 at 9:28 PM Zafer ERCAN < [  
> mailto:Zafer.Ercan at listweb.bilkent.edu.tr |  
> Zafer.Ercan at listweb.bilkent.edu.tr ] > wrote:
>
> BQ_BEGIN
>
>
> Akademik çalışmalarımın sonucunda Tümevarım'ın yerini buldum. (ek1)
>
> Ayrıca, Pinter'in meşhur Set Theory kitabının ''1.29 Definition''I  
> bir tanım olamaz. (ek2).
> ( Bu kitabın pdf'i: [  
> https://vcarrion.people.uic.edu/Pinter%20-%20A%20Book%20of%20Set%20Theory.pdf | https://vcarrion.people.uic.edu/Pinter%20-%20A%20Book%20of%20Set%20Theory.pdf ]  
> )
>
> ZE
>
>
>
>
>
>
>
> _______________________________________________
> Bu e-postayı Türk Matematik Derneği'nin TMD-UYE E-Posta Listesine  
> üye olduğunuz için aldınız.
> [ mailto:TMD-UYE at listweb.bilkent.edu.tr | TMD-UYE at listweb.bilkent.edu.tr ]
> BU E-POSTA LİSTEDEN ÇIKMAK (UNSUBSCRIBE) VEYA ÜYELİK SEÇENEKLERİNİ  
> DÜZENLEMEK İÇİN aşağıda bağlantısı verilen sayfayı ziyaret ediniz:
> [  
> http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye  
> |  
> http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye ]
>
>
>
>
>
> _______________________________________________
> Bu e-postayı Türk Matematik Derneği'nin TMD-UYE E-Posta Listesine  
> üye olduğunuz için aldınız.
> [ mailto:TMD-UYE at listweb.bilkent.edu.tr | TMD-UYE at listweb.bilkent.edu.tr ]
> BU E-POSTA LİSTEDEN ÇIKMAK (UNSUBSCRIBE) VEYA ÜYELİK SEÇENEKLERİNİ  
> DÜZENLEMEK İÇİN aşağıda bağlantısı verilen sayfayı ziyaret ediniz:
> [  
> http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye  
> |  
> http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/tmd-uye ]
>
> BQ_END
>
>
>