Bab Delapan Puluh Enam: Burung dan Katak (Tambahan Dua Belas Ribu Kata untuk Dukungan)
"Lü kecil! Sore ini ada acara nggak? Temani aku makan gratis yuk!" Sejak tahun baru di rumah Profesor Nan, hubungan mereka jadi semakin akrab, bahkan cara bicara pun terasa lebih dekat.
"Oh? Siapa yang traktir nih?" Ia merasa heran, ternyata di Amerika juga bisa seperti ini? Kalau yang mengundang orang yang tak dikenal, apa tak akan canggung kalau ia ikut?
"Dyson yang traktir, juga Witten, Thurston, semuanya sudah akrab. Sebenarnya makan malam kali ini juga karena kamu!" Profesor Nan tertawa lepas. "Dulu aku bertaruh dengan Dyson, soal dari tujuh masalah besar matematika, mana yang akan dipecahkan lebih dulu. Dia bertaruh pada Persamaan Yang–Mills, aku menebak Dugaan Poincaré. Tak disangka kamu yang menyelesaikannya begitu cepat!"
Ah, ujian waktu itu benar-benar menyiksa! Tapi kalau Witten dan Dyson hadir, ini kesempatan untuk mempererat hubungan. Meski keduanya punya prestasi besar di matematika, koneksi mereka di fisika lebih kuat. Siapa tahu di masa depan aku butuh bantuan mereka. Lü Qiujian pun setuju dengan gembira, "Baik, nanti aku ke kantor Anda!"
Selesai kuliah, Lü Qiujian menitipkan barang pada Alfors untuk dibawa ke asrama, lalu membeli sebotol anggur merah yang cukup bagus dan membawanya ke kantor Profesor Nan.
"Kamu memang tahu sopan santun!" Profesor Nan langsung melihat anggur itu, mengambil jasnya dari gantungan, lalu berkata, "Ayo, waktunya pas, kita berangkat sekarang!"
Sesampainya di tempat, ternyata mereka yang paling akhir datang. Freeman Dyson sedang asyik berbincang dengan Edward Witten dan William Thurston. Profesor Nan pun mendekat, "Kalian lagi membicarakan apa?"
"Kami sedang bicara soal burung dan katak!" kata Thurston sambil melambaikan tangan ke arah Lü Qiujian, menunggu mereka duduk sebelum melanjutkan, "Dyson membagi matematikawan jadi dua jenis: burung dan katak. Sekarang kami sedang mendiskusikan siapa yang katak dan siapa yang burung!"
Ini seperti kisah Cao Cao dengan anggur hijaunya, menilai para pahlawan dunia! Profesor Nan dan Lü Qiujian tertarik, tak buru-buru makan, malah mengambil segelas anggur dan ikut diskusi.
Dyson kini hampir berusia delapan puluh tahun. Masa mudanya ia belajar matematika di bawah Hardy di Universitas Cambridge—ya, Hardy yang menemukan Ramanujan itu—lalu pindah ke Amerika setelah Perang Dunia II, pernah menjadi asisten Einstein, dan berkontribusi besar pada lahirnya Elektrodinamika Kuantum. Namun, ia lebih dikenal luas karena gagasan "Bola Dyson" yang ia ajukan pada 1960-an.
"Bola Dyson" adalah struktur raksasa buatan, berupa 'bola' yang dibentuk satelit-satelit mengelilingi matahari, benar-benar membungkus bintang dan memanen sebagian besar atau bahkan seluruh energi yang dipancarkannya. Dyson berpendapat bahwa struktur semacam ini adalah konsekuensi logis bagi peradaban yang bertahan lama di alam semesta dan terus meningkat kebutuhan energinya. Ia juga menyarankan agar manusia mencari struktur buatan seperti itu untuk menemukan peradaban luar angkasa supermaju.
Dari "Bola Dyson" kemudian lahir pula standar penggolongan peradaban di alam semesta: Peradaban Tipe 1 mampu memanfaatkan seluruh sumber daya alam planet tempat tinggalnya (manusia sekarang baru 0,7, belum mencapai Tipe 1); Tipe 2 mampu membangun struktur seperti Bola Dyson dan memanfaatkan seluruh energi bintangnya; Tipe 3 menguasai teknologi untuk mengeksploitasi seluruh sumber daya galaksinya—kemampuan yang bagi manusia seperti kekuatan dewa, tapi masih dalam batas hukum fisika.
Lü Qiujian menduga bahwa 1a7488 mungkin setara atau bahkan melampaui Tipe 3. Kalau manusia mampu membangun Bola Dyson, tentu saja sudah memenuhi syarat 1a7488, tapi bagi manusia itu masih impian kosong.
Dengan usia dan pengalaman sebesar itu, Dyson tentu pantas menilai para matematikawan yang masih hidup. Ia memandang Lü Qiujian, lalu berkata perlahan, "Burung terbang tinggi di langit, memandang cakrawala matematika yang luas dan jauh. Mereka menyukai konsep yang menyatukan pemikiran kita dan menggabungkan persoalan dari berbagai bidang. Katak hidup di tanah berlumpur di bawah langit, hanya melihat bunga-bunga di sekitarnya. Mereka senang meneliti detail permasalahan tertentu, menyelesaikan satu masalah dalam satu waktu. Begitulah aku mendefinisikan burung dan katak. Aku sendiri jelas seekor katak, sedangkan Edward burung! Sedangkan kamu, masih muda, masa depanmu luas terbentang, jadi belum bisa dipastikan."
"Tentu saja, burung dan katak tak ada yang lebih tinggi atau lebih rendah. Matematika butuh keduanya. Matematika jadi kaya dan indah karena burung memberi pandangan luas yang agung, dan katak menjernihkan detail-detail rumitnya. Matematika adalah seni besar sekaligus ilmu penting, karena menyatukan konsep universal dan struktur mendalam. Jika ada yang bilang burung lebih baik karena pandangannya jauh, atau katak lebih baik karena mereka lebih mendalam..." Dyson melanjutkan penjelasannya.
Merasa penjelasannya belum cukup, Dyson meneruskan, "Edward dan rekan-rekannya menciptakan teori dawai. Mereka terbang tinggi, memandang pegunungan dari kejauhan. Ribuan peneliti teori dawai di seluruh dunia adalah para katak, meneliti detail struktur matematika yang pertama kali dilihat burung di cakrawala. Edward dan kawan-kawannya menemukan hubungan baru dan metode ilmiah baru, jadi mereka adalah burung, sementara ribuan ilmuwan teori dawai lainnya hanya bekerja dalam kerangka yang telah mereka buat, sehingga mereka adalah katak!"
Melihat Lü Qiujian dan Profesor Nan tertarik seperti Witten dan Thurston, Dyson pun semakin bersemangat. "Perbedaan ini sudah ada sejak lahirnya ilmu pengetahuan modern. Bacon dan Descartes sama-sama mengawali era baru itu, tapi pandangan mereka berbeda jauh. Bacon berkata: 'Semua harus didasarkan pada fakta nyata yang dapat dilihat mata.' Descartes berkata: 'Aku berpikir, maka aku ada.' Dari sini, jelas Descartes adalah burung, Bacon adalah katak."
"Menurut Bacon, ilmuwan harus berkeliling dunia mengumpulkan fakta, hingga fakta itu cukup banyak untuk mengungkap cara kerja alam. Ilmuwan lalu menyimpulkan hukum alam dari fakta-fakta itu. Tapi menurut Descartes, ilmuwan cukup diam di rumah, mengandalkan pemikiran murni untuk menemukan hukum alam. Untuk menemukan hukum yang benar, ilmuwan hanya perlu logika dan pengetahuan tentang keberadaan Tuhan."
"Newton pada dasarnya penganut Descartes; ia menggunakan pemikiran murni ala Descartes untuk menjatuhkan dogma pusaran ala Descartes. Marie Curie adalah penganut Bacon; ia merebus berton-ton limbah uranium untuk menjatuhkan dogma bahwa atom tak bisa dihancurkan."
"Perbedaan ini juga ada di matematika. Masalah-masalah Hilbert diberikan pada para katak yang menyelesaikan satu masalah dalam satu waktu, sedangkan kelompok Bourbaki yang berusaha menyatukan seluruh kerangka matematika adalah para burung."
Sepertinya kutipan yang dipakai cukup banyak. Bagi yang berminat, bisa mencari pidato Dyson berjudul "Burung dan Katak".
Tambahan lebih dari dua belas ribu kata, utang makin banyak, aku janji akan berusaha menebusnya! Mohon dukungannya!