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ı.

Sevgili editörümüz sundance TV'de konuşurken yaklaşık şöyle bir cümle çıktı ağzından:

"Kaos üzerinde bir kelebek şekli vardi sonsuz sembolü şeklinde büyüyen.. ama şu anda resmi yok yanımda"

Meraklanıp açtım google'ı ve ortalama 30 dk. kendimi eğlendirdim. Hazırladığım şeyi kendisi ile paylaşınca da "e haber yapsana, güzel olur" dedi. Kırmadım.

http://canb.net/index.php/Chaos_Butterfly
(Ed: Kaos teoremi, C kodu, GNUPLOT derken işte bu yüzden seviyoruz bu ortamları dedirten bu makale için Can Burak'a teşekkürler)

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!)