ORBITINDONESIA.COM - Seorang jenius matematika, Kurt Godel, bapak teori Teorama Ketidaklengkapan, menyatakan keberadaan Tuhan bisa ia buktikan dalam rumus matematika) (1)

-000-

Di perpustakaan Widener yang sunyi di Harvard,
tempat lantai marmer menyimpan jejak para jenius,
seorang lelaki berkacamata,
duduk di antara buku-buku tua,
membaca Gödel, mencari Tuhan dalam angka.

Ia seorang jenius.
William, begitu mereka memanggilnya,
berjalan di antara teorema dan hipotesis,
meyakini bahwa Tuhan,
jika Ia ada,
bisa dirumuskan dalam angka.

Di luar, menara gereja berdenting,
jalan berbatu basah oleh hujan musim gugur.

Di dalam aula, hanya ada sunyi,
dan lelaki itu yang terus menulis,
mencari jejak-Nya di persamaan matematika,
di rumus-rumus algoritma,
di formula ilmu aljabar.

-000-

“Dalam sistem yang sempurna,”
katanya dalam hati,
“segala yang ada harus bisa dibuktikan.”

Ia merancang argumen,
sebuah teorema yang melingkar,
seperti labirin yang menjebak penciptanya sendiri.

Jika keadilan ada,
tetapi dunia tak selalu adil,
harus ada sesuatu di luar dunia,
menyelesaikan ketidakadilan.