Pada awal abad ke-20, komunitas matematika, yang dipimpin oleh David Hilbert, sedang mengejar sebuah mimpi agung, yaitu program formalisme. Tujuannya adalah membangun fondasi matematika yang kokoh dan mutlak. Baca selengkapnya
Matematika lama dipandang sebagai bahasa kebenaran mutlak. Sejak zaman Yunani Kuno, para filsuf dan ilmuwan meyakini bahwa, dengan sistem logika yang kuat dan komprehensif, setiap pernyataan matematis pasti dapat dibuktikan kebenarannya atau kesalahannya.