Dunia
‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
Sumber: The Guardian · 1 jam lalu
Recap • TITIR
- Kurt Gödel meninggalkan 1.009 halaman teks yang ditulis padat, sebagian besar dalam tanda tangan usang.
- Teks tersebut dikatakan mengandung ratusan teorema terbukti yang ditemukan dengan bantuan AI.
- Gödel adalah logikawan Austria dan salah satu pemikir paling orisinal abad ke-20.
- Dua teorema ketidaklengkapan yang diterbitkannya pada 1931 mengubah matematika dan membuka jalan bagi era digital.
- Setelah hasil utama pada 1930-an, Gödel hanya menerbitkan beberapa artikel, namun kerja tak terbitnya mencapai puluhan ribu halaman.
Recap singkat dari artikel aslinya. Bisa aja kurang pas — baca sumber aslinya buat versi lengkap.
Ikuti berita pentingKami kabari hanya kalau isunya benar-benar ramai.