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

[Muhammed Uludag]

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/
twittter: @metamathician


On Fri, Nov 3, 2023 at 1:55 PM Zafer ERCAN <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" <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
> 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/
> twittter: @metamathician
>
>
> On Sun, Oct 22, 2023 at 9:28 PM Zafer ERCAN <
> 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
>>  )
>>
>> ZE
>>
>>
>>
>>
>>
>>
>>
>> _______________________________________________
>> 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
>>
>
>
> _______________________________________________
> 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/7e3ffccf/attachment.html>