Anlatı, David Hilbert’in 1930’lardaki iyimserliği ile Kurt Gödel’in sessiz ama devrim niteliğindeki keşvi arasındaki dramatik zıtlıkla başlıyor. Hilbert, matematiğin her gerçeğin eninde sonunda kanıtlanabileceği aksiyomatik bir sisteme tamamen dönüştürülebileceği fikrini savunuyor ve "Bileceğiz" diyordu. Ancak Gödel’in Eksiksizlik Teoremleri, tutarlı her aritmetik sistemde, o sistemin aksiyomlarının ötesinde kalan her zaman doğruların bulunacağını kanıtladı. Bu keşif; matematiği mantıkla tamamen haritalandırılabilen, kapalı ve analitik bir yapı olduğuna inanan mantıksal pozitivistlerin ve Viyana Çevresi'nin hayallerini yerle bir etti. Bu değişimin ağırlığını anlamak için metin…

Konular: Matematik Felsefesi, Mantık ve Epistemoloji, Fikirler Tarihi

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: aeon.co

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