YNT: [MD-sorular] allah fellah

12 Nis 2006 Çar 00:36:39 EEST

Oktay Bey'in ve  şahsımın mesajlarında din muhabbeti zerre kadar yok.
Matematik muhabbeti var hem de alabildiğince...Gödel'i bilirmisiniz?

"Gödel, şudel, budel"...Gödel gibi bir üstada yapılmış bir saygısızlık mı bu
yoksa bir espri mi çözemedim...

"Lütfen bireysel konuşun eğer devam edecekseniz."

Bireysel niye konuşalım ki? Matematik nesneldir, öznel değil. Yok eğer
birbirinize özel mail atın diyorsanız, kendi adıma konuşursam, nezaket
kuralları içerisinde fikirlerimi paylaşıyorum ki insanlar faydalansın ya da
eleştirsinler ben faydalanayım diye. Burası interaktif bir konu. Ali Nesin
hoca bir uyarı yapmıştı "ciddiyete çağrı" diye, o çağrı ciddiyeteydi.
Dolayısıyla ciddiyetle konuşan, nezaketle konuştuğuna inanan biri olarak,
"Allah ve Kanıt Muhabbeti" ile ilgili site yönetimi "bu konu konuşulmamalı"
diye bir karar alıp, bunu deklare etmedikçe (ki nezaket kurallarına
uyuldukça ve ben inanıyorum inanmıyorum muhabbeti yapılmadıkça böyle bir
karar alınmayacağına inanıyorum hatta eminim) Allah ve Kanıt mevzusuyla
ilgili daha 1000 tane mesaj yazılabilir...

Sıkılıyorsanız okumayın...

SAYGILAR VE SEVGİLER,
ali

12.04.2006 tarihinde Barış Demir <barisburcin at gmail.com> yazmış:
>
>  Yeter arkadaşlar bu ne? Ülkenin bilim adamına ihtiyacı var, din konusu
> yeterince irdelendi ve irdelenmekte zaten..Az da matematik yapın, hatta çok
> yapın. Gödel, şudel, budel..Biraz da özgün olup Ayşe, Ahmet, Fatma,vs.
> diyelim.
>
>
>
> Uzattıkça uzatıyorsunuz, bu mesajı yazarak ben de bu uzatmanın içine
> giriyorum, ama dayanamadım artık..Lütfen bireysel konuşun eğer devam
> edecekseniz.
>
>
>  ------------------------------
>
> *Kimden:* md-sorular-bounces at matematikdunyasi.org [mailto:
> md-sorular-bounces at matematikdunyasi.org] *Yerine *Ali ilik
> *Tarih:* 12 Nisan 2006 Çarşamba 00:05
> *Kime:* OktayD
> *Bilgi:* md-sorular at matematikdunyasi.org
> *Konu:* Re: [MD-sorular] allah fellah
>
>
>
> "Evet, Gödel öyle bir şey kanıtladı. Bir sorun mu var ki? ;)"
>
> "Öyle birşey" ifadenizden espri/mecaz yaptığınızı anlıyorum. Gödel
> Allah'ın varlığının ya da yokluğunun kanıtlanıp kantılanamayacağını
> kanıtlamadı. Dediğiniz gibi Allah'ın tanımını bilmiyoruz. "Bırak'ın tanımını
> var olup olmadığını bilmiyoruz" diyebiliriz sanırım matematiksel olarak
> konuşursak. Ama felsefi olarak konuşursak, kimi inanır kimi inanmaz. Ben
> speküle etmemek için görüşümü burada söylemek istemiyorum. Zira konu Allah'a
> inanma-inanmama değil.
>
>
>
> "Allah nedir?" Evet. Allah'ın ne olduğuna matematiksel bir tanım
> veremiyoruz sanırım. Tanımını veremediğimiz şeyi de kanıtlayamayız.
>
>
>
> Sonuçta bu mevzuyu toparlarsak,
>
>
>
> "Allah'ın varlığını ya da yokluğunu matematiksel olarak* kanıtlayamayız"
> önermesi:
>
>
>
> a) Yanlış bir önermedir.
>
> b) Bir konjektürdür.
>
> c) Bir teoremdir.
>
>
>
> a,b,c den hangisi doğrudur? Kanıtlayınız.
>
> Teoremdir. Kanıt:
>
> Allah'ın matematiksel olarak tanımını veremeyiz.
>
>
>
> Soru: "Allah'ın matematiksel olarak tanımını veremeyiz." önermesi
>
>
>
> a) Yanlış bir önermedir.
>
> b) Teoremdir.
>
> c) Konjektürdür
>
> d) hiçbiri
>
>
>
> Yanıt: d şıkkı. "Allah'ın matematiksel olarak tanımını veremeyiz." ifadesi
> bir aksiyomdur.
>
>
>
>
>
> 12.04.2006 tarihinde *OktayD* <asi.insan at gmail.com> yazmış:
>
> Evet kanıtlayamayız. Gödel bunu kanıtladı. Bir sorun mu vardı ki? ;)
>
> Gödelin çalışmaları allahı tanrıyı putu niye kanıtlasın ki? Bir kere hiç
> matematiksel görünmedi bana, sonuçta Allah nedir derler adama. Tanımsız
> bırakırsanız da bu sefer o sözcük yerine başka bir  şey de koyabilirim...
>
>
>
> Saygı Sevgi ve Mantık...
>
>
>
> On 4/11/06, *Ali ilik* < aliilik at gmail.com> wrote:
>
> Yalnız Oktay Bey, Gödel'in çalışması sonucunda biliyoruz ki tüm matematiği
> kanıtlayamayız (tüm matematiksel hipotezleri kanıtlayamayız).
>
>
>
> Gödel'in çalışmaları, "allah'ın varlığı ya da yokluğu kanıtlanamaz"
> hipotezini de kanıtlamış olmuyor değil mi? Ne dersiniz bu konuda?
>
>
>
> 11.04.2006 tarihinde *OktayD* <asi.insan at gmail.com > yazmış:
>
> Ali İlik demiş ki;
>
>
>
> Allah VARSA, ve HERŞEYİ (kendisi hariç) ALLAH YARATTIYSA (nasıl yarattıysa
> artık...) KANIT (İSPAT) DENİLEN ŞEYİ DE ALLAH YARATMIŞ DEMEKTİR.
>
>
>
> O halde,
>
>
>
>  ALLAH'IN (VARSA) YARATTIĞI BİRŞEYLE ONUN VARLIĞINI KANITLAYABİLİR MİYİZ?
> YANİ KANITLA ALLAH'IN OLDUĞUNU KANITLAMAYA KALKARSAK, ONUN YARATTIĞI BİR
> KAVRAM OLAN "KANIT"I KULLANIYORUZ.
>
>  İşte bu tam da Gödel'in kanıtlamasında 2. teoremin kanıtının temelini
> oluşturur. Ama burada ALLAH yerine MATEMATİK vardı tabi... Yani matematik
> hiçbir şekilde kanıtlanamaz. Aynı akıl yürütmeyi o şekilde yazalım:
>
> KANIT, ÇIKARIM KURALLARIYLA TÜRETİLEREK DİZİLMİŞ ÖNERMELER KÜMESİDİR. BU
> OLGUYU GÖDEL SAYILAR KURAMINA DAYANDIRMIŞ (1. teorem), YANİ KANIT OLGUSU
> MATEMATİĞİN BİR ÜRÜNÜDÜR.
>
> O halde,
>
> MATEMATİĞİN ÜRÜNÜ OLAN BİR ŞEYLE ONUN TUTARLILIĞINI KANITLAYABİLİR MİYİZ?
> YANİ KANITLA MATEMATİĞİN TUTARLI OLDUĞUNU KANITLAMAYA KALKARSAK ONUN ÜRÜNÜ
> OLAN BİR KAVRAM OLAN KANITI KULLANIYORUZ.
>
> :D
>
> Gödel'in 1931'de yaptığı şey, ilk önce biçimsel olan her matematik sistemi
> (her sembolüne bir sayı verip her önermeyi bir sayıya birebir eşleyerek,
> bknz Gödel number) sayı kuramına eşbiçimli (izomorf) hale getirmek (bknz.
> Gödel'in birinci teoremi); sonra da tutarlılık olgusunun bu akıl yürütmeyle
> (ama sayı kuramıyla) asla kanıtlanamayacağını göstermek olmuş. Burada
> matematik yerine herhangi bir sistem de olabilirdi. "Hiçbir sistemin
> tutarlılığı o sistemin bir teoremi olarak kanıtlanamaz ama tutarsızlığı
> karşı bir örnekle gösterilebilir." Ne ilginç değil mi?
>
> Saygı Sevgi ve Mantık...
>
>
>
>
> _______________________________________________
> MD-sorular mailing list
> MD-sorular at matematikdunyasi.org
> http://matematikdunyasi.org/mailman/listinfo/md-sorular
>
>
>
>
> --
>
>
> www.antoloji.com/ali_ilik
>
> "A writer is not so much someone who has something to say as he is someone
> who has
> found a process that will bring about new things he would not have thought
> of if he had not
> started to say them." William Stafford, A Way of Writing.
>
>
>
>  --
> Bir G tamdeyimi: "Ben kanıtlanamam."
>
>
> _______________________________________________
> MD-sorular mailing list
> MD-sorular at matematikdunyasi.org
> http://matematikdunyasi.org/mailman/listinfo/md-sorular
>
>
>
>
> --
> www.antoloji.com/ali_ilik
>
> "A writer is not so much someone who has something to say as he is someone
> who has
> found a process that will bring about new things he would not have thought
> of if he had not
> started to say them." William Stafford, A Way of Writing.
>

--
www.antoloji.com/ali_ilik

"A writer is not so much someone who has something to say as he is someone
who has
found a process that will bring about new things he would not have thought
of if he had not
started to say them." William Stafford, A Way of Writing.
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20060412/3dc367bd/attachment.htm 