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

[Zafer ERCAN]

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" <Zafer.Ercan at listweb.bilkent.edu.tr> 
To: "Muhammed Uludag" <muhammed.uludag at gmail.com> 
Cc: "tmd" <tmd-uye at listweb.bilkent.edu.tr>, "Zafer ERCAN" <Zafer.Ercan at listweb.bilkent.edu.tr>, "turkmath" <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" <muhammed.uludag at gmail.com> 
To: "Zafer ERCAN" <Zafer.Ercan at listweb.bilkent.edu.tr> 
Cc: "turkmath" <turkmath at listweb.bilkent.edu.tr>, "tmd" <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: 




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. 
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 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20231103/bd87b831/attachment-0001.html>