Claude, Helsinki Üniversitesi’nden bir mantıkçının Gödel’in stenografiyle yazılmış çalışma defterlerini okumasına yardımcı oldu; yüzlerce teorem ortaya çıkardı

The Guardian’ın haberine göre, 2017’den bu yana Kurt Gödel’in 1940’ların başından kalma 16 “çalışma defteri” üzerine yürütülen Helsinki Üniversitesi projesine liderlik eden Jan von Plato, eylülde Claude’a kendi transkripsiyonlarını, Gödel üzerine daha önce yayımladığı kitapları ve ikincil kaynakları verdi. Defterler 1.009 sayfa; bunların büyük bölümü artık kullanılmayan Gabelsberger stenosuyla yazılmış. Von Plato’ya göre Claude, birkaç gün içinde defterleri açıklayan 650 sayfalık bir metin hazırladı; von Plato, bunun sayfa sayfa kontrol edilmesi gerektiğini söylüyor.

Von Plato’nun bulduğunu söyledikleri. Defterlerde seçim aksiyomunun bağımsızlığına dair bir kanıt olup olmadığı sorulduğunda Claude, von Plato’nun “neredeyse” tamamlanmış olduğunu söylediği bir kanıtı yeniden kurdu; kanıtta, Gödel’in iki yıl önce doğru biçimde tanımladığı bir kavram yanlış tanımlanmıştı. Von Plato, yeniden kurulan kanıtın Coq kanıt asistanından geçtiğini söylüyor. Gödel’in kanıtladığı, taslağını çıkardığı veya üzerinde fikir yürüttüğü tüm teoremleri çıkarması istendiğinde Claude 663 tane listeledi. Von Plato, bunların yaklaşık 400’ünün ifade edildiği hâliyle Coq’ta doğrulandığını, yaklaşık 200’ünün düzeltilmesi gerektiğini ve yaklaşık 50’sinin yanlış olduğunu söylüyor. Ayrıca Claude’un, üzerinde çalışılmamış bir düzineden fazla mantık teması belirlediğini de belirtiyor.

Çekinceler. Yeniden kurgulamayı görmemiş olan Notre Dame’dan Joel David Hamkins, The Guardian’a, sonuç doğrulanırsa bunun “dikkate değer ve tarihsel açıdan ilginç” olacağını; ancak ne kadarının Claude’a, ne kadarının Gödel’e ait olduğunun tarihçilerin yanıtlaması gereken bir soru olduğunu ve Cohen’in kanıtına benzemesinin Gödel’in de aynı kanıta sahip olduğu anlamına gelmediğini söyledi.