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

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

14. yılının 1. sayısı ile tekrar okurları ile buluşan Matematik Dünyası dergisi yine dolu dolu.

Bu sayının kapak konuları: Kaos, Kadın Matematikçiler ve Sayma

Detaylı içerik ise buradan öğrenilebilir.

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.