20. yüzyılın en özgün düşünürlerinden biri olan Kurt Gödel, ardında çok büyük bir yayımlanmamış çalışma arşivi bıraktı. Bu arşivin hacmi ve karmaşıklığı nedeniyle tarihçiler için büyük ölçüde erişilemez durumda kaldı. Gödel'in 1931'de yayımlanan ve matematiği dönüştürerek Alan Turing'in hesaplama üzerine temellerini attığı çalışmalarına ilham veren ünlü "eksiklik teoremleri" dışında, önemli sonuçlarını elde ettikten sonra on binlerce sayfalık ek materyal de üretti. Bu mirasın önemli bir kısmı, 1940'ların başında yazılmış ve toplamda 1.009 yoğun sayfadan oluşan 16 defterden ibaret. Bu defterler, Gödel kullandığı sırada zaten geçerliliğini yitirmiş olan Gabelsberger adı verilen bir Alman kısa yazım yöntemiyle kaleme alınmıştı. Onlarca yıl boyunca, ...in anlaşılmasına yönelik çalışmalar...

Konular: Matematik, Mantık, Yapay Zeka ve Bilim Tarihi

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: www.theguardian.com

Kaynak: sitem.co — paylas.io yer imi / keşif katmanı.