Gödel'in Kanıtı Nasıl Çalışır?

How Gödel's Proof Works (2020)

1931'de Kurt Gödel, matematiğin temellerine yönelik arayışı paramparça eden eksiklik teoremlerini yayımladı. Herhangi bir aksiyom kümesinin kaçınılmaz olarak eksik olduğunu ve kendi tutarlılığını asla kanıtlayamayacağını gösterdi. Bu makale, Gödel numaralandırması, aritmetikleştirme ve öz-gönderme yoluyla teoremlerin nasıl işlediğini açıklıyor. Süreklilik hipotezi ve durma problemi gibi karar verilemez soruların matematiğin ve hatta fiziğin sınırlarını nasıl ortaya koyduğunu ele alıyor.