Temelleri sarsan matematiksel bir kanıt
Gerhard Gentzen'in sıralı çıkarım sistemi, matematikçilerin biçimsel sistemlerin tutarlılığını kanıtlama şeklini değiştirdi. Bu, matematiğin ve bilgisayar biliminin temellerini derinden etkiledi.
1930'larda matematikçi Gerhard Gentzen, sıralı çıkarım sistemini yarattı. Bu, mantıksal kanıtları yapılandırmanın yeni bir yoluydu. Bu zarif sistem, David Hilbert'in aritmetiğin tutarlılığını kanıtlama sorununa yardımcı oldu. Böylece matematiğin güvenilirliği sağlandı. 1936'da Gentzen, Peano aritmetiğinin tutarlılığını kanıtlamak için sistemini kullandı. Peano aritmetiği, doğal sayıların temelidir. Bu önemli başarı, transfinite tümevarıma dayansa da Gödel'in eksiklik teoremleriyle uyumluydu. Aritmetiğin kendi tutarlılığını kanıtlayamayacağını gösterdi. Gentzen'in çalışması modern bilişimi etkilemeye devam ediyor. Hatta doğrusal mantık için zemin hazırladı. Bu, saf matematiği pratik programlamayla birleştirdi.