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

Fri Nov 3 13:13:21 UTC 2023

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 ] 

BQ_END

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20231103/9c2e563c/attachment.html>