Wolfram'ın 2, 3 Turing Makinasının Evrensel Olduğu İspatlandı

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.

Mathematica'nın geliştiricisi ve Wolfram Research'ün kurucusu Stephen Wolfram, 2002 yılında çıkardığı "A New Kind of Science" kitabında belli bir soyut Turing makinasının evrensel bir bilgisayar olarak kullanılabilecek en basit sistem olduğunu iddia etmişti.

2007 Mayıs'ında bu iddianın doğruluğunu ispat edecek kişiye 25.000$'lık bir araştırma ödülü verileceği duyurulmuştu. Alex Smith 40 sayfalık ispatı ile Wolfram'ın Turing makinasının gerçekten de evrensel bir hesaplama sistemi olduğunu göstermiş oldu.

Detaylı bilgi:

http://www.wolframscience.com/prizes/tm23/solution_news.html
http://blog.wolfram.com/2007/10/the_prize_is_won_the_simplest.html
http://tailrank.com/3457192/Student-snags-maths-prize

Not: Haber verdikleri için FM üyeleri conan ve ercumend'e teşekkür ederiz.

Görüşler

admin
yaklaşık 18 yıl önce

Bu ispatta çok önemli bir kusur bulundu:
http://cs.nyu.edu/pipermail/fom/2007-October/012156.html

Görüş belirtmek için giriş yapın...

İlgili Yazılar

Matematik Dünyası - Yeni Sayı Çıktı - 2005/I

FZ
1 Ağustos 2005, 1 dakika okuma süresi

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.

The Simpsons ve Fermat Teoremi (Yanlış Mı?)

FZ
11 Haziran 2006, 1 dakika okuma süresi

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

1.000.000 Parayı Reddeden Matematikçi: Perelman

FZ
26 Ağustos 2006, 2 dakika okuma süresi

Koray Bostancı'nın yazısıdan:

Rus matematikçi Grigori Perelman, milenyumun ödüllü problemleri olarak anılan 7 problemden biri olan Poincare önermesine çözüm buldu. Çözüm büyük yankı uyandırdı, çünkü problem 100 yıllık bir problemdi. Bu çözüm ile matematik alanında Nobel ödülüne denk olduğu söylenen Fields madalyasını almasına kesin gözüyle bakılıyordu. Ancak Perelman, önce St.Petersbourg Steklov Enstitüsündeki görevinden istifa etti, sonra ödülü almayacağını, böyle bir ödülün anlamsız olduğunu açıkladı. Akabinde de Clay Matematik Enstitüsü nün problemi çözene vermeyi taahhüt ettiği 1 milyon euroyu almayacağını açıkladı..

Var Mısın Yok Musun: Bilgisayar Bize Nasıl Para Kazandırabilir?

FZ
10 Kasım 2008, 9 dakika okuma süresi

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: