Matematikteki kanıtların bilgisayar yardımı ile onaylanmasının önünü açan Voevodsky hayatını kaybetti!

Bugün ilk kez yeni çıkan TL banknotlarından birini gördüm. Boran'ın gösterdiği banknotun üzerinde Türk matematikçi Cahit Arf'ın bir resmi vardı. Acaba piyasaya yeni sürülen TL banknotları Türklerdeki matematik şevkini ve hevesini nasıl etkilemiştir diye merak ettim ve Google'a sorayım dedim. İlk iş olarak 'cahit arf' ne kadar aranmış bir bakayım dedim:

Eski adıyla Matematik Dosyası, yeni adı ve tasarımıyla NetMatematik kısa bir aradan sonra bir süre önce tekrar yayına girdi.

Matematik ve matematiğin tarihi, matematikçiler hakkında bilgi edinebilir, matematiğin çeşitli alanlarında özgün makalelere ulaşabilir, gelişmeleri takip edebilirsiniz.

Matematiğe gönül vermiş insanları aramızda görmekten memnun olacağımızı belirtmekte fayda görüyorum.

Dün yani 24 Ekim 2007 Çarşamba günü Stephen Wolfram'ın A New Kind of Science kitabında kurallarını verdiği ve evrenselliğinin ispatlanması karşılığında 25.000$ ödül koyduğu sistemin evrenselliğinin ispatlandığı duyuruldu. Birmingham, İngiltere'de bilgisayar bilimleri okuyan 20 yaşındaki Alex Smith'in 40 sayfalık ispatı ile ödülü kazanmayı hak etti.

Bir bilgisayar oyununu analiz ederek 1 milyon dolar kazanmak pek sık rastlayabileceğiniz bir durum değildir ama kaderin garip bir cilvesi olarak artık böyle bir şansınız var. Fakat bu ödüle erişmeniz için konuyla ilgili tüm uzmanların yanılıyor olması ve çok zor olduğunu düşündükleri bir problemin aslında çok kolay çıkması gerekiyor. Bu yüzden yeni bir Corvette araba siparişi için acele etmeyin.

Söz konusu ödül şu anda Cambridge MA'da, iş adamı Landon T. Clay tarafından matematiksel bilginin geliştirilmesi ve yayılması için kurulan Clay Matematik Enstitüsü tarafından verilen milyon dolarlık yedi ödülden biri. Ödüle konu olan oyun, Microsoft Windows işletim sistemi ile gelen Mayın Tarlası oyunu. Bu oyundaki amacınız bir ızgara üzerinde gizlenmiş mayınları bilgisayarın size verdiği ipuçlarından faydalanarak bulmak. Oyunun ilişkili olduğu problem ise matematikte cevaplanmamış en önemli problemlerden biri olan 'P=NP?' sorusu.

Mayın Tarlası oyunu ile para ödüllü matematik problemi arasındaki bağlantı Birmingham Üniversitesi'nden Richard Kaye tarafından gösterildi ('Minesweeper is NP-complete', Mathematical Intelligencer cilt 22, sayı 4, 2000, sayfa 9-15). Heyecanlanmanıza gerek yok, oyunu kazanarak ödülü kazanamıyorsunuz. Milyon dolarlık ödülü hak etmeniz için Mayın Tarlasını devasa büyüklükte ızgaralar üzerinde oynarken başarılı olmanızı sağlayacak yöntemi bulmanız gerekiyor. Aslında böyle bir yöntemin olmadığını ispatlarsanız o zaman da size aynı ödülü veriyorlar.