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

Sat Sep 2 16:59:24 UTC 2017

onu da siz ekleyin can mmt hocamız
"bu konuda ekper değilim" diyerek ben kendimi sigortalamıştım

2017-09-02 19:54 GMT+03:00 Mehmet Can <mcan at ius.edu.ba>:

> Sayin Yılmaz
>
> Besim Beyin sorusunu cevaplamis olmadiniz sanırım.
> Iki problemin çözüm zamanları nasıl aynı olur?
>
> Diye sordu.
> Bence cevap: çözüm zamanları değil,  o zamanların meryebeleri aynı
> demeliydiniz sanırım.
>
> 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:* Saturday, September 2, 2017 9:57:13 AM
> *To:* ersanbesim
> *Cc:* turkmath
> *Subject:* [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
>
> 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=aHR0cHM6Ly9lbi53aWtpcGVkaWEub3JnL
>> 3dpa2kvTmlja19QaXBwZW5nZXI
>> <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/378a7d79/attachment-0001.html>