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

Halkımızın giderek zenginleşmesi ile birlikte televizyondaki yarışmalar da değişmeye başladı. Eskiden mutfak robotu veya yüz bakım seti için saatlerce telefonda bekleyen ve sunucuya binbir dil döken halkımız, artık milyarlar kazanınca bile mutsuz olur oldu. Umuyoruz ki, halkımızı sosyal ve ekonomik anlamda bu medeniyet seviyesine yükseltmekten sorumlu herkes müstahakkını alsın.

Kısa sosyal çözümlemeden sonra gelelim işin matematik ile olan ilişkisine.

Prof. Dr. Ali Nesin'in 'Sezgisel Kümeler Kuramı [PDF]' e-kitap olarak http://www.matematikdunyasi.org/kitaplar.php adresinde yayımlandı.

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:

Matematik sanattır. İtirazı olan?

cember.net'in bilişim forumunda gördüğüm ve Volkan Özçelik tarafından yazılmış eğlenceli bir mesajı (ufak tefek editöryel müdahale ile) paylaşmadan duramadım: Fermat'nın son teoremine göre a^n + b^n = c^n eşitliği 2den büyük hiçbir tamsayı için doğru değildir. Bu teoremin doğruluğu çok yakın bir geçmişte ispatlandı. Yani yıllarca matematikçilere karın ağrıları çektiren bir teorem bu. Ancak

1782^12 + 1841^12 = 1922^12

ediyor (en azından Homer Simpson öyle düşünüyor!)