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
13 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

Ian Stewart ile Mayın Tarlası Üstüne*

FZ
4 Aralık 2008, 14 dakika okuma süresi

Bir bilgisayar oyununu analiz ederek 1 milyon dolar kazanmak pek sık rastlayabileceğiniz bir durum değildir ama kaderin garip bir cilvesi olarak artık böyle bir şansınız var. Fakat bu ödüle erişmeniz için konuyla ilgili tüm uzmanların yanılıyor olması ve çok zor olduğunu düşündükleri bir problemin aslında çok kolay çıkması gerekiyor. Bu yüzden yeni bir Corvette araba siparişi için acele etmeyin.

Söz konusu ödül şu anda Cambridge MA'da, iş adamı Landon T. Clay tarafından matematiksel bilginin geliştirilmesi ve yayılması için kurulan Clay Matematik Enstitüsü tarafından verilen milyon dolarlık yedi ödülden biri. Ödüle konu olan oyun, Microsoft Windows işletim sistemi ile gelen Mayın Tarlası oyunu. Bu oyundaki amacınız bir ızgara üzerinde gizlenmiş mayınları bilgisayarın size verdiği ipuçlarından faydalanarak bulmak. Oyunun ilişkili olduğu problem ise matematikte cevaplanmamış en önemli problemlerden biri olan 'P=NP?' sorusu.

Mayın Tarlası oyunu ile para ödüllü matematik problemi arasındaki bağlantı Birmingham Üniversitesi'nden Richard Kaye tarafından gösterildi ('Minesweeper is NP-complete', Mathematical Intelligencer cilt 22, sayı 4, 2000, sayfa 9-15). Heyecanlanmanıza gerek yok, oyunu kazanarak ödülü kazanamıyorsunuz. Milyon dolarlık ödülü hak etmeniz için Mayın Tarlasını devasa büyüklükte ızgaralar üzerinde oynarken başarılı olmanızı sağlayacak yöntemi bulmanız gerekiyor. Aslında böyle bir yöntemin olmadığını ispatlarsanız o zaman da size aynı ödülü veriyorlar.

Euler Projesi: Bilgisayarları Hazırlayın Matematik Sınavı Var

FZ
8 Ağustos 2006, 1 dakika okuma süresi

Euler Projesi bir grup meydan okuyucu problemi çözmek ve bu çözümlerinin puanlandırılması ile ilgili. Problemlerin ortak özelliği ise matematik ile programlamayı birleştirmeleri. Yani tek başına ya matematik ya da tek başına programlama bilmeniz pek yeterli değil. Başka bir deyişle programlama bilgisinin çözümlerde çok kolaylık sağladığı türden problemler.

Nasıl kesmeli?

tongucyumruk
3 Aralık 2016, 2 dakika okuma süresi

Geçtiğimiz hafta Festival of the Spoken Nerd ekibi tarafından düzenlenen An Evening of Unnecessary Detail başlıklı etkinliğe katıldım. Etkinlik boyunca dokuz farklı gösteri sergilendi fakat bunlardan bir tanesi özellikle diğerlerinden farklı olarak kendini gösteriyordu. Burada onunla ilgili birşeyler paylaşmak istedim.

Elinizde bir A4 kağıt olduğunu düşünün, ve bu kağıttan bir kare kesmeniz...

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

Var mısın Yok musun!

sefalet
28 Şubat 2008, 1 dakika okuma süresi

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.