[MD-sorular] haksýzmýyým hakim bey?

13 Nis 2006 Per 11:56:13 EEST

öncelikle selamlar..bundan üç bin sene öncesine kadar aceba ampulun kaçýncý deney sonunda yakýlacaðý biliniyormuydu..yada aya ilk çýkan insanýn orada ne duyduðu..bunlar bilinmiyordu þu anda bir muamma..yalýnýz þu bir gerçektirki bütün pozitif ilimleri fizikle açýklamaya çalýþmak ne kadar büyük bir ahmaklýksa bütün bilimleri matematiðe indirgemeye çalýþmakta ayný derecede bir ahmaklýktýr..felsefesiz matematik aceba en son hangi noktaya kadar gelebilirdi?peki þuan neden felsefe inkar edilmeye çalýþýlýyor bunu bana anlatabilirmisiniz?felsefe gerçektende sadece pozitif ilimlerin körelmesine yardýmcý olan bir tür gereksizlikmidir?arakadaþlar lütfen kibire kapýlmayýn henüz matematik namýna bildiðimiz emin olunki sonsuz bir kumsaldaki bir tane kum tanesi kadar bile yoktur yani allahýda tartýþmaya ihtiyacýmýz var kitabýda..zira felsefenin bittiði yerde mantýktan söz etmek mümkün deðildir mantýðýn bittiði yerdede hiç bir pozitif ilimden ve matematikten...

md-sorular-request at matematikdunyasi.org wrote:
  Send MD-sorular mailing list submissions to
md-sorular at matematikdunyasi.org

To subscribe or unsubscribe via the World Wide Web, visit
http://matematikdunyasi.org/mailman/listinfo/md-sorular
or, via email, send a message with subject or body 'help' to
md-sorular-request at matematikdunyasi.org

You can reach the person managing the list at
md-sorular-owner at matematikdunyasi.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of MD-sorular digest..."

Günün Konularý:

1. Her kanýt aynýmýdýr!? (Ali ilik)
2. Re: YNT: [MD-sorular] allah fellah (Ali ilik)

----------------------------------------------------------------------

Message: 1
Date: Wed, 12 Apr 2006 00:17:25 +0300
From: "Ali ilik" 
Subject: [MD-sorular] Her kanýt aynýmýdýr!?
To: md 
Message-ID:

Content-Type: text/plain; charset="iso-8859-9"

Soru: Her kanýt özde aynýmýdýr?

Yani, olmayana ergi yoluyla kanýtlanabilen HER önerme, direkt veya dolaylý
kanýt yöntemiyle de kanýtlanabilir mi?

Ya da hangi kanýt yöntemleri "özde aynýdýr?"

--
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://cs.bilgi.edu.tr/pipermail/md-sorular/attachments/20060412/2991a023/attachment-0001.htm

------------------------------

Message: 2
Date: Wed, 12 Apr 2006 00:36:39 +0300
From: "Ali ilik" 
Subject: Re: YNT: [MD-sorular] allah fellah
To: " Barýþ Demir " 
Cc: md-sorular at matematikdunyasi.org
Message-ID:

Content-Type: text/plain; charset="iso-8859-9"

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 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* 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* 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://cs.bilgi.edu.tr/pipermail/md-sorular/attachments/20060412/3dc367bd/attachment.htm

------------------------------

_______________________________________________
MD-sorular mailing list
MD-sorular at matematikdunyasi.org
http://matematikdunyasi.org/mailman/listinfo/md-sorular

Son: MD-sorular Toplu Mesajý, Sayý 15, Konu 24
**********************************************

---------------------------------
New Yahoo! Messenger with Voice. Call regular phones from your PC and save big.
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20060413/98b7edf8/attachment.htm 