[Turkmath:2504] Re: Fwd: Re: Mathematicians Race to Debunk German Man Who Claimed to Solve One of the Most Important Computer Science Questions of Our Time

[yilmaz akyildiz]

sayın besim,
ilk önce şunu belirteyim:
"bilal" in b sini büyük harf yazarsan başımıza dert açarsın!  seni beni
kimse kurtaramaz!
ancak şu şekilde yırtabiliriz mahkemede:
o kelime artık bir isim değil, lisanımıza girmiş bir bir ifade...

"anlayamadım" diyorsunuz..
öyle kolayca anlaşılacak bir şey olsaydı ona teorem denmezdi...
bakın ben ne demişimben ilk mesajımda :
"
​
teorik bilgisayar biliminin de kendisine göre bir unification (denklik)
teoremi vardır ve bence o bilimin en enteresan konusu budur:
polinom zamanda çözümlenemeyen problemler birbirlerine şu anlamda
denktirler:
birisini polinam zamanda çözebilirseniz diğerlerini de polinom zamanda
çözebilirsiniz.
​"​
bu teoremi anlayabilmek için Cook un ispatını çalışmanız lazım. NP -
Completeness konusunu araştırın. Göreceksiniz ki işler öyle pek kolay
değil. Herşeyden önce Mantık ve Computability (hesaplanabilme) konularını
iyi bilmeniz gerekecek. Tabi ki herşey Turing le başlar! Mantık konusunun
bu hususlardaki rolünü hatmetmek gerekecektir.
Ayrıca şunu da belirteyim: bu teoremin constructive bir ispatı yok!: yani
bir NP problemin çözümünü polinomial zamanda çözebiliyorsan, yani bunu
yapan bir algoritman varsa, bir başkası için de vardır diyor (ama onu
bulmak sana kalmış!). yani senin de bahsettiğin gibi bu bir "if ....
then...." teoremi. birisi için polinom koşan bir algoritma yazdın diyelim,
bu algoritmayı diğerleri için de kullanabilirsin veya onu kullanarak
diğerleri için de polinom zamanda koşan algortima hemen yazabilirsin
demiyor teorem.  algoritmaları bulabilme işi sana kalmış. teorem şunu
diyor: birisi için polinom zamanda koşan algoritma vasa diğerleri için de
vardır. o algoritmaların bulunması sana kalmış. teorem diğerleri de şöyle
şöyle bulunur demiyor!
(tekrar tekrar yazıyorum çünkü konumuz bilal...) kısacası hayat o kadar
kolay değil. bu teoremi ispat eden Cook a nobel ve fie
​l​
ds hariç diğer bütün
​ödüller
verilmiştir. önceden dediğim gibi bu konular beni aşar. konu "teorik
bilgisayar bilimi" ismi altındadır ve eminim memleketimizde bu konuda
çalışan akademisyenlerimiz vardır. keşke burada bir şeyler yazsalar da
benim pabucumu dama atsalar!..
benden zaten bu kadar.
dün "dünya barış günü"y dü.
"yurtta sulh cihanda sulh" la yazımı bitiriyor her günün kurban değil barış
günü olmasını cenab-ı yaradan dan diliyorum!
y.a.

2017-09-02 10:15 GMT+03:00 ersanbesim <ersanbesim at gmail.com>:

> Günaydın değerli hocalarım.. Bendeniz bir Bilal'im :)
>
> Deneme-yanılma metodu günümüz bilgisayar programcılığında hala
> kullanılıyor mu, bilmem.. Ama 30 küsur sene öncesinden Basic dilinin "if
> ... then ..." li komutları hâlen hatırımda.. Bu komutlarla, bilgisayarın
> ilk denemede amaca ulaşamaması durumunda alternatif başka yolları sırayla
> denemesi mümkün oluyordu.. Taa ki amaca ulaşana (ki bu amaç bilgisayarı
> sonu gelmeyen bir döngüye sokmakta olabilir) kadar..
>
> Bir labirent bulmacasını çözmeye çalışan bir yazılım düşünüyorum..
> Karşısına çıkan her kavşakta, daha ilk denemesinde de başarılı olması
> mümkün, son denemesinde de.. İşte bulmacanın çözülme süresinin farklı
> çıkmasına sebep olacak iki ihtimal!..
>
> Bu şekilde düşününce, mükemmel mario oyunun hamlelerini hesaplama işinin
> süresiyle, kansere kür bulma işinin tamamlanma süresi, ancak tesadüfen
> birbiriyle orantılı olabilir gibi geliyor bana..
>
> Bir yazılımının öngörülemeyen işi tamamlama süresiyle, bir başka yazılımın
> kendi işini tamamlama süresi nasıl orantılı olabilir gerçekten anlayamadım..
>
> Saygılar,
>
> Besim
>
>
>
>
> Samsung Galaxy akıllı telefonumdan gönderildi.
>
> -------- Orijinal mesaj --------
> Başlangıç tarihi: yilmaz akyildiz <yilmaz.akyildiz at gmail.com>
> Tarih: 01.09.2017 13:38 (GMT+03:00)
> Alıcı: turkmath <turkmath at listweb.bilkent.edu.tr>
> Konu: Fwd: [Turkmath:2497] Re: Mathematicians Race to Debunk German Man
> Who Claimed to Solve One of the Most Important Computer Science Questions
> of Our Time
>
> sayın can mehmet hocamız
>
> mesajınızda diyorsunuz ki:
> *"​Isteyenlere daha ayrıntılı yazabilirim" *
> ama bu mesaj sadece bana gönderilmiş.
> yani başkalarının ne istediğini ben nereden bileyim.
> dolayısı ile bu mesajımı umuma atıyorum.
> ah bunları bilal bir duysa..
> yaktırır beni babasına.
> biliyorum, kimseniz de bana sahip çıkmazsınız,
> "yedirmeyiz kimseye ylmz hocamızı" demezsiniz
> yahu bu adam şakacıdır, ciddiye almayın demezsiniz!
> (belki zafer ercan ve ercüment ortaçgil hariç)
> ben sizleri de bilirim!
> neyse devam edelim:
> benim ise bu nazik konuda mehmet can hocamız
> sizden bir isteğim olamaz
> çünkü hemen hemen her konuda bir anısı olan ben
> P != NP işinde de malesef "gönül yaralı" dırım..
> bilenler bilir (ersan akyıldız, osman oğuz, mustafa akgül) maria nın bana
> yaptrıklarını bir başka kadın hala yapmamıştır!
> yapamazlardı çünklü maria gibi kimse olamazdı!
> kısacası 70 lerde başlamış olan şu P != NP probleminin 70 lerin ikinci
> yarısındaki cin çocuğu MIT li Nick Pippenger meşhur olunca maria beni (ve
> ersan ı) Vancouver de terketti ve Toronto ya Nick e kaçtı.
> Mehmet Can hocam, bayram bayram nedir senin bana bu yapotıkların? neyse,
> bu da benim bayram yazım olsun. sebebi sensin! çünkü derdimi deştin!
> şimdi gidin okuyun bakalım Nick Pippenger kimmiş ve neler yapmış.
> bazılarınız maria yı tabiki hemen tanıdınız, bilmeyenler de gitsinler
> araştırsınlar.. arkadaşımı öyle alenen ele vermem!
> vay kerata Nick, latince makale de yazmış...
>
> 0wikipedia.org/index.php?q=aHR0cHM6Ly9lbi53aWtpcGVkaWEub3
> JnL3dpa2kvTmlja19QaXBwZW5nZXI
> <https://en.0wikipedia.org/index.php?q=aHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL3dpa2kvTmlja19QaXBwZW5nZXI>
>
> ---------- Forwarded message ----------
> From: Mehmet Can <mcan at ius.edu.ba>
> Date: 2017-09-01 12:52 GMT+03:00
> Subject: Re: [Turkmath:2497] Re: Mathematicians Race to Debunk German Man
> Who Claimed to Solve One of the Most Important Computer Science Questions
> of Our Time
> To: yilmaz akyildiz <yilmaz.akyildiz at listweb.bilkent.edu.tr>
>
>
> Sayın Akyıldız
> Bioinformatics Algorithms derdinden biliyorum.
> Her algoritmanin bilgisayarda gereksinim duyduğu zaman cinsinden bir
> kompleksligi vardır
>
> Bu komklekslikler cesitli kardinalitelere sahiptir.
>
> Ustalar aynı işi yapmak için daha alt kardinaliteden algoritmalar bulmaya
> çalışırlar.
> ​​
> ​​
> Isteyenlere daha ayrıntılı yapabilirim.
>
> Get Outlook for Android <https://aka.ms/ghei36>
>
> ------------------------------
> *From:* Turkmath <turkmath-bounces at listweb.bilkent.edu.tr> on behalf of
> yilmaz akyildiz <yilmaz.akyildiz at listweb.bilkent.edu.tr>
> *Sent:* Friday, September 1, 2017 10:54:12 AM
> *To:* itu69insaat at googlegroups.com
> *Cc:* turkmath
> *Subject:* [Turkmath:2497] Re: Mathematicians Race to Debunk German Man
> Who Claimed to Solve One of the Most Important Computer Science Questions
> of Our Time
>
> LÜTFEN bu mesajı bu işlerle uğraşan matematikçi arkadaşlar okumasınlar!
>
> Nedeni: montanalı fizikçimiz Recep Avcı nın sorusunu bilal e anlatır gibi
> açıklayacağım...
>
> recep in sorusu şu
>
> her bilgisyar programının yani algoritmaların çözüm süreci (zaman) acaba
> data nın boyu cinsinden bir polinom ifadeden hesaplanabilirmi?
>
> örnek:
> diyelim ki n tane insan var ve biz bu insanların yaşlarının ortalamasını
> bulmak istiyoruz.
> bir program yazdık (gayet basit, yaşları topla ve n ye böl)
> bu program makinada bu işlemi ne kadar zamanda yapar.
> bunun hesabı kolaydır.
> biz örnek olarak diyelim ki,  (kafadan atıyorum):
> bu zaman şu ifade ile verilir: n^2 - n +1
> örneğin, bu formül diyor ki 10 tane insanın yaş ortalamasını bu program
>  100-10+1 = 91 mili saniyede hesaplayabiliyor.
> n^2 - n +1 bir polinomdur. Lise polinomu. hani çarpanlara çurpanlara
> ayırır, kök mök bulurduk.
>
> bir milyon dolarlık soru şu:
> acaba bütün bilgisayar problemleri için harcanan zamanı datanın boyutu
> cinsinden bir polinomdan hesaplayabilirmiyiz?
> öyle ya başka fonksiyonlar da var, örneğin üstel fonksiyonlar var,
> trigonommetrik fonksiyonlar var..
>
> şimdi recepğ in gönderdiği şu haber diyor ki
> Bonn dan bir alman matematikçi bunun böyle olmadığını, yani öyle
> problemler var ki onların bilgisayarda harcayacakları zaman için asla bir
> polinom ifade bulamazsınız! bu bir yokluk problemidir. yani adam ispatlamış
> (?!) ki elimizde şu an öyle problemler var ki (en bilineni ve standardı
>  TSP:Travelling Salesman Proplem) şu ana kadar bunun için polinomla çalışan
> algoritma bulunamadığı gibi yarın da bulunamayacaktır!
>
> ​​
> teorik bilgisayar biliminin de kendisine göre bir unification (denklik)
> teoremi vardır ve bence o bilimin en enteresan konusu budur:
> polinom zamanda çözümlenemeyen problemler birbirlerine şu anlamda
> denktirler:
> birisini polinam zamanda çözebilirseniz diğerlerini de polinom zamanda
> çözebilirsiniz.
>
> arkadaşlar: ben bu konunun eksperi değilim. dolayısı ile yukarda
> yanlış-eksik bir şeyler dedimse kabahat benim değil bilal in dir! eminim
> memleketimizde de bu konuyo çok iyi takip eden arkadaşlarımız var (örneğin
> Bilkent de Osman Oğuz, ve hatta internet dedemiz Mustafa Akgül de bu
> konulardan gelmedir, ama biz 68 lerden geçti artık bu işler, gençlere
> sesleniyorum...)
>
> 2017-08-31 16:22 GMT+03:00 Avci, Recep <avci at montana.edu>:
>
> https://motherboard.vice.com/en_us/article/evvp34/p-vs-np-al
>> leged-solution-nortbert-blum
>>
>> ---
>> Yilmaaaz
>>
>> Bu haberi duydun mu?
>>
>> Recep
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20170902/f83ce7f4/attachment-0001.html>