Etiket Arşivleri: Kurt Gödel

Bilim insanlarının ortaya koyduğu icatlar, dünyanın gelişimine her daim doğrudan etki etmiştir. Newton‘dan Einstein‘a bilimin öncülüğünü üstlenen bu isimlerin öngörüleri ve gösterdikleri gayretin neticesinde bugünün imkanlarına sahibiz. Halen imrenerek takip ettiğimiz birçok gelişmede de onların imzası bulunmakta, ardıllarının yürüdüğü yolu açmış olarak saygıyla anılmaktalar. İşbu yazı dizimizde, bilimsel gelişmelerin irdelendiği belgeselleri inceleyecek ve kısaca tanıtacağız. İlk bölümde bilim insanlarını anmak …

Bir zamanlar Kıbrıs adasında Pygmalion adında bir heykeltıraş yaşardı. Bu adam mesleğine âşıktı. Hayattaki tek zevki heykelleriyle zaman geçirmek ve onlarla ilgilenmekti. Bir gün fildişinden bir kadın heykeli yaptı. Bu heykel o kadar güzel ve etkileyiciydi ki, Pygmalion kendi yaptığı heykele âşık oldu. Onu bütün kalbiyle sevdi ancak heykel cansız olduğu için bu garip heykeltıraşın sevgisine karşılık veremiyordu. Bir gün …

Yıldızlar ilginç nesneler. Bulutsuz her gece ortaya çıkarlar. Bulutsuz her gece kör olmayan herkes onları görebilir. Ilık yaz geceleri çiftlerin romantik fonu olurlar. Belki bin yıllar boyunca çöllerde, denizlerde geceleri insanların yönle ilgili tek referansını oluşturdular. Ama kaç kişi o parıldayan şeylerin ne olduğunu merak eder? Kaç kişi onların ne olduğuyla ilgili ortalama doğru bir fikre sahiptir? Güneş’in ancak ortalama …

Bu yazıda Gödel’in Eksiklik kanıtını elimden geldiğince basit bir şekilde açıklamaya çalışacağım. Kurt Gödel, hiç bir matematik sisteminin tam olamayacağını söyleyen kanıtıyla ün kazanmıştır. Bu kanıta göre, sınırlı bir aksiyomlar(*) kümesiyle başlayan herhangi bir mantıksal sistem (matematik), zorunlu olarak sistem içinde ispatlanamayan ama doğru olan önermeler içerecektir. (**) Gödel şunu da gösterdi: Bir matematik sistemine ait Gödel tipi önermeleri, sisteme aksiyom olarak …