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

Sembolik ve sayısal ifadeleri işleyebilen bir bilgisayarlı matematik sistemi Maxima'nın 5.17 numaralı sürümü duyuruldu. Türev, integral, Taylor serileri, Laplace dönüşümleri, adi diferansiyel denklemler, polinomlar, kümeler, listeler, vektörler, matrisler ve tensörlerle ilgili işlerinizi halletmenizde Maxima işlerinizi kolaylaştırır. Maxima ile yuvarlama hataları olmaksızın kesirli işlemler yapabilir, çok büyük tamsayıları fonksiyonlarınızda kullanabilirsiniz. Maxima matematiksel nesnelerinizi iki boyutlu ve üç boyutlu olarak grafiğe dökmenize de yardımcı olur.

Bu yazıda bilgisayarda simülasyon yaparak gerçek hayata dair kararlar vermenin basit ve güzel bir örneğini göstereceğim. Günümüzde bilgisayarlar çok hızlandığı için bilgisayar modelleri ve simülasyonları ile günlük yaşantımızdaki olaylara dair ne tür seçimlerde ne kadar kârlı çıkabileceğimizi belirlemek kolayca yapılabilir hale gelmiştir ve yine bu tür modelleri kullanarak pek çok konuya dair bilgi aktarmak / edinmek matematik teoremleri geliştirmeye yahut mevcut matematik teoremlerini birine anlatmaya kıyasla daha kolay olabilmektedir.

O halde başlayalım: Daha önce FM'de epey bir tartıştığımız meşhur Monty Hall problemine, nam-ı diğer 'Var mısın, yok musun?' yarışmasının olasılıkla ilişkisine tekrar dönmek istiyorum. Ama bu sefer uzun uzun sözel açıklamalar yahut Bayes teoremi ile matematiksel ispatlar yapmak yerine bu konunun bilgisayarda modelleme ve simülasyon aracılığı ile çok daha kolay anlaşılabileceğini iddia edecek ve bunu göstermeye çalışacağım.

Yarışmanın temel halini ve meseleyi hatırlatalım: 3 kapı var. Birinde 1 milyon YTL ödül var. Yarışmacı olarak nerede ne var bilmiyorsunuz:

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)

Matematik sanattır. İtirazı olan?