🇮🇩 Blog IOHK: Wadler mengikuti para raksasa ilmu pengetahuan

Bahasa Indonesia Berita
, , , ,
1

Versi dokumen orisinil: Wadler follows the giants of science
Dipublikasikan pada tanggal 06 Juli 2023
Ditulis oleh Olga Hryniuk
Terjemahan ke dalam :indonesia: Bahasa Indonesia oleh @andreassosilo
(Translated to Indonesian language by @andreassosilo)

Wadler mengikuti para raksasa ilmu pengetahuan

Karier gemilang seorang tokoh utama dalam pengembangan Cardano dihargai dengan keanggotaan Fellowship dari Royal Society, akademi ilmiah tertua di dunia.

06 Juli 2023 | Anthony Quinn | bacaan 17 menit

Wadler follows the giants of science

Profesor Philip Wadler akan dikenal oleh banyak pengguna Cardano sebagai salah satu pembuat Plutus, bahasa pemrograman pintar blockchain tersebut bersama dengan Manuel Chakravarty. Karya-karyanya tentang bahasa komputer dan pemrograman fungsional telah menghasilkan gelar profesor, sejumlah penghargaan, dan keanggotaan Fellowship dari Royal Society of Edinburgh. Siapapun yang pernah menggunakan Java, Haskell, atau XQuery, sebenarnya bahasa fungsional apapun, pasti telah mendapatkan manfaat dari karya-karya Wadler.

Bulan ini, ia akan bergabung dengan tokoh-tokoh besar sebelumnya di dunia ilmu pengetahuan - termasuk Newton - sebagai anggota dari Royal Society, akademi ilmiah tertua di dunia. Ia akan menjadi FRS (Fellow of the Royal Society).

Penghargaan ini merupakan bukti dari karier yang meliputi era mikroprosesor dan perkembangan teknologi digital. Pengaruh akademisi diukur dengan sistem indeks-h: setelah 20 tahun penelitian, skor 20 sudah bagus, 40 luar biasa, dan 60 luar biasa. Skor Wadler adalah 73, berdasarkan karya-karyanya yang telah dikutip sebanyak 26.981 kali dalam makalah dan buku-buku yang diterbitkan.

Biografinya menyatakan bahwa ia “suka menggabungkan teori ke dalam praktik dan praktik ke dalam teori”, dan dia benar-benar telah melakukannya. Ia adalah seorang asisten peneliti di Universitas Oxford dan meraih profesor pertamanya di Glasgow - di mana ia merupakan salah satu perancang utama Haskell. Kemudian ia bekerja di Bell Labs dan Avaya Labs. Sejak tahun 2003, Wadler telah menjadi profesor ilmu komputer teoretis di Sekolah Informatika di Universitas Edinburgh.

“Saya adalah seorang yang percaya kuat dalam terpaparnya hal teori dan praktik,” kata Wadler. “Pentingnya mempertimbangkan keduanya secara bersamaan adalah tema yang dapat Anda temukan sepanjang sejarah ilmu pengetahuan, mulai dari Blaise Pascal [matematikawan dan filsuf Prancis yang menjabarkan dasar teori probabilitas] hingga Robin Milner [yang membantu merancang bahasa ML, pendahulu Haskell, di Edinburgh].”

Ia melihat keuntungan besar dari lingkungan akademis adalah “Anda dapat mengajar. Bekerja dengan orang-orang muda membantu seseorang tetap merasa muda, dan mengajar mengasah keterampilan komunikasi.”

“Saya senang karena sering diundang ke banyak konferensi industri, dan para developer muda yang berbicara di sana cerdas dan penuh inspirasi - tetapi hanya beberapa dari mereka yang telah belajar bagaimana berkomunikasi secara efektif.”

Pentingnya menulis dengan jelas telah diakui oleh Wadler ketika ia menyumbangkan sebuah makalah untuk American Mathematical Society. Tahun 1975 saat itu dan ia menulisnya setelah mengikuti kursus untuk siswa sekolah menengah di Universitas California di Berkeley. “Saya mencoba untuk menyusunnya dengan cara yang paling umum, tetapi para mentor saya menyarankan agar saya menyusunnya dalam cara yang lebih konkret agar lebih mudah dipahami.”

“Diberitahu betapa pentingnya membuat karya agar mudah diikuti oleh para pembacanya telah menjadi pelajaran penting yang melekat pada diri saya.”

Untuk memahami dunia Wadler berarti menemukan kosakata kalkulus lambda, pelacakan kesalahan, pengetikan bertahap, tipe kelas, dan monad. Hal ini adalah tempat di mana kekurangan daftar lebih baik daripada kemalasan, dan jika Anda akan malas, lakukanlah dengan penuh dedikasi. Sebagian besar orang mungkin tidak pernah mengenal istilah-istilah ini, tetapi ia telah mengikuti nasihat itu tentang membuat gagasan mudah diikuti oleh orang-orang. Humor dalam banyak makalah akademisnya dan gaya presentasi kuliah yang menarik adalah bukti dari hal ini. Judul-judul seperti ‘An idiom’s guide to formlets’, ‘Leftover Curry and reheated Pizza’, dan ‘Et tu, XML?’ sulit untuk dilupakan. Dan penampilannya di berbagai acara dalam kostum Lambda Man sungguh tak terlupakan.

Di jantung Silicon Valley

Wadler bersekolah di Cupertino High, di daerah Teluk San Francisco, California, yang kemudian menjadi Silicon Valley. Ia berpikir akan menjadi seorang matematikawan, “Tapi lebih mudah mendapatkan pekerjaan sebagai programmer, dan lebih menguntungkan.” Ia berterima kasih pada tiga guru awalnya, “terutama Mr. Simons dan Mr. Grote, yang mengajar matematika di sekolah, dan Gerald Alexanderson, yang mengajar kalkulus di Universitas Santa Clara dalam sebuah kursus yang saya ikuti”.

Ia mendapatkan gelar matematika di Stanford pada tahun 1977. Tahun sebelumnya, Steve Wozniak dan Steve Jobs telah mulai memasarkan Apple I kit mereka dengan chip 8-bit 6502 dari MOS Technology, dan 4KB memori pengguna. Donald Knuth sudah sampai pada volume ketiga karyanya tentang pemrograman (bagian terakhirnya keluar tahun lalu). Ini adalah era Fortran, Cobol, Lisp, dan Algol; Forth, Pascal, dan C adalah pendatang baru relatif. Xerox Parc sedang mengembangkan SmallTalk. Mikrokomputer belum hadir dan mempopulerkan Basic. Insinyur masih membawa jangka sorong. Ini dua tahun sebelum buku klasik Douglas Hofstadter Gödel, Escher, Bach (dikenal sebagai GEB); empat tahun sebelum Acorn’s BBC Micro dan IBM’s PC. Tim Berners-Lee sedang belajar fisika di Oxford dan beberapa dekade lagi sebelum mengusulkan WorldWide Web.

Sebagian besar momen bersejarah tersebut memiliki referensi dalam sejarah pribadi Wadler. Makalah berikutnya ditulis ketika ia berada di tahun kedua di Universitas Stanford - untuk kelas yang diajarkan oleh Knuth. Itu adalah waktu yang penting. ‘Kelas Knuth tentang struktur data, diajarkan dari buku teksnya, adalah pengalaman belajar yang luar biasa. Di antara hal lain, dia memberikan kami beberapa halaman catatan tentang cara menulis teks matematika. Catatan-catatan itu adalah awal karir saya sebagai akademisi. Saya masih merujuk pada catatan-catatan tersebut hingga hari ini.’

Makalah tersebut, ‘Analysis of an algorithm for real-time garbage collection’, memenangkan salah satu dari banyak penghargaan untuk Wadler: penghargaan makalah mahasiswa Forsythe dari Association for Computing Machinery (ACM), komunitas ilmiah berbasis di AS.

Kelas yang paling berpengaruh di Stanford adalah pengantar ekonomi. 'Saya tidak ingat nama pengajarnya, tetapi pencarian di web menunjukkan bahwa mungkin itu adalah John Gurley. Dia merupakan gabungan dari kedua Marx, Karl dan Groucho. Dia menguasai materi, dan menyajikannya dengan gaya yang sangat menghibur. Dia mengajarkan kepada kami ekonomi standar. Kemudian setiap dua minggu sekali dia akan berkata “Saya sudah mengajarkan kepada kalian teori standar, sekarang saya akan memberi tahu kalian kebenarannya” dan memberikan perspektif Marxisme. Yang saya ambil dari itu adalah pentingnya menyajikan sudut pandang yang berbeda secara adil.

‘Walaupun dia sangat yakin bahwa pandangan standar itu salah, dia ingin menyajikannya kepada kami dengan benar.’

Dosen lainnya termasuk John McCarthy dan Vint Cerf - salah satu pendiri internet - serta Knuth. ‘Hal penting lainnya yang saya pelajari dari ketiganya adalah pentingnya humor dalam pekerjaan Anda. Vint adalah keponakan dari Bennett Cerf [penulis humor dan kolektor puisi limerick], dan itu terlihat. Ketika Vint menjelaskan internet kepada saya, dia mengutip dari opera Gilbert dan Sullivan HMS Pinafore, menyanyikan “Does it lose any packets? Never. What never? Well, hardly ever”.’

McCarthy, seorang pionir dalam bidang kecerdasan buatan, mengajarkan Wadler ‘cara memprogram dalam Lisp. Dalam hal ini, saya belajar tentang esensi pemrograman fungsional.’

Saat di Stanford, Wadler menghadiri pertemuan Homebrew Computer Club. ‘Suatu hari, seorang teman datang dengan papan tunggal yang bisa dipasang di televisi, dan sebuah keyboard. Ternyata itu adalah Apple I. Pria yang menunjukkannya kepada kami mungkin adalah Wozniak, tetapi saya lebih fokus pada komputer dan tidak memperhatikan pria di balik mesin. Semoga sejak saat itu saya lebih perhatian terhadap orang lain.’

Kelas lain diajarkan oleh Hofstadter dari draf GEB, yang belum diterbitkan. Ketika buku itu akhirnya diterbitkan pada tahun 1979, halaman-halamannya mengakui Wadler karena ‘beresonansi’ dengan Hofstadter. ‘Saya sangat bangga dengan itu.’ Teman sekamarnya, seniman grafis Scott Kim, disebutkan dalam buku sebagai ‘pengaruh yang sangat besar’.

Wadler bekerja sebagai anak magang di musim panas di Xerox Parc. Di sana, dia mengimplementasikan simulator dalam versi awal Smalltalk, ‘yang merupakan sistem yang kecil dan elegan’. Ada ‘banyak diskusi tentang “dynabook”, yang saat itu belum ada, tetapi sekarang kita sebut sebagai laptop’.

Di Carnegie-Mellon, di mana Wadler belajar kecerdasan buatan, Herbert Simon, pemenang Nobel, menjadi pembimbing Wadler selama dua tahun pertama. Ini mengarah pada fokus Wadler pada bahasa pemrograman. ‘Saya menyadari bahwa bagian dari AI yang paling menarik bagi saya adalah bagaimana mewakili informasi, dan saya pikir bahasa pemrograman menangani hal itu lebih langsung. Sekali lagi, saya sangat beruntung bekerja dengan orang-orang hebat, pertama Simon dan kemudian Bill Scherlis, Guy Steele Jr, dan Nico Habermann.’

Gelar doktor (PhD) Wadler diperoleh dari Carnegie Mellon dengan judul ‘Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists.’ Steele dan Habermann adalah pembimbing disertasinya.

Hofstadter’s book; Philip Wadler photographed by his son, Adam; the Royal Society’s offices in London

Industri dan Akademisi

Mulai tahun 1983, Wadler menjadi peneliti dan anggota dari Kelompok Riset Pemrograman di Oxford, di mana dia menerbitkan banyak makalah, dengan “How to replace failure by a list of successes” menjadi yang paling banyak dikutip.

Setelah itu, dia bergabung dengan Universitas Glasgow, di mana Wadler menjadi salah satu perancang utama Haskell, yang menjadi bahasa yang paling banyak digunakan untuk lazy functional programming. Dia berkontribusi pada dua inovasi utamanya: tipe kelas (type classes), dengan Stephen Blott pada tahun 1989, dan monad dengan Simon Peyton Jones pada tahun 1993. Inovasi-inovasi ini membantu dia menjadi salah satu penulis ilmu komputer yang paling diakui, dan dia mendapatkan jabatan profesor pada tahun 1993. Makalah tentang monad memenangkan penghargaan ACM untuk makalah yang paling berpengaruh dalam satu dekade sebelumnya pada tahun 2003.

Glasgow Haskell Compiler (GHC) dikembangkan di Glasgow, dan Peyton Jones dan Simon Marlow menerima penghargaan perangkat lunak ACM pada tahun 2011 sebagai penciptanya. Pada tahun 2016, Wadler menerima penghargaan jasa luar biasa. Chakravarty, rekan pencipta Plutus-nya, menambahkan: ‘Agak terlambat, kontribusinya menggunakan konsep kategori monad untuk menyediakan cara fungsional dalam menangani input dan output data, dan pemrograman imperatif umumnya telah memiliki dampak besar. Kelas tipe dan monad bersama-sama telah menentukan sebagian besar bagaimana para arsitek perangkat lunak merancang program dalam Haskell. Kedua konsep ini telah diadopsi oleh bahasa pemrograman lain.’

Selain dari inti Cardano yang diimplementasikan dalam Haskell, Wadler menyebutkan tiga favorit di antara banyak aplikasi menonjol. Pertama, Facebook menggunakan perpustakaan HAXL yang dibuat oleh Simon Marlow untuk menyaring setiap pesan yang dipostingnya untuk spam dan disinformasi. Kedua, banyak bank yang menggunakan Haskell, yang mempengaruhi sebagian besar perusahaan keuangan untuk menggunakan bahasa fungsional dengan satu cara atau lainnya. SeL4, sebuah sistem operasi minimal yang sangat aman untuk ponsel pintar, adalah pilihan terakhirnya. Untuk hal ini, sebuah prototipe ditulis dalam Haskell. Prototipe tersebut menjadi dasar untuk model formal di asisten pembuktian Isabelle, dan kemudian implementasi produksi, yang diterjemahkan dari Haskell ke bahasa C untuk kecepatan. Terjemahan tersebut divalidasi melawan model formal di Isabelle.

Dari Glasgow, dia beralih ke industri selama tujuh tahun di Bell Labs (Lucent Technologies) dan kemudian Avaya Labs; Peyton Jones pergi ke Microsoft Research dan sekarang berada di Epic Games. Dua produk dari masa ini adalah GJ (Generic Java) - dasar desain Sun Microsystems - dan FJ (Featherweight Java). Yang terakhir, dari tahun 1999, adalah model formal dari Java yang bisa ditulis dalam satu lembar kertas. Ini adalah salah satu makalah yang paling banyak dikutip dari Wadler. Seperti yang dikatakannya, “GJ mendorong teori ke dalam praktik; FJ menyatukan praktik ke dalam teori.”

Di Avaya, Wadler menerbitkan makalahnya tentang XQuery, bahasa untuk melakukan kueri pada XML dan menggabungkan data, baik itu dokumen, basis data, atau halaman web, yang dikembangkan di World-Wide Web Consortium (W3C). Ini memungkinkan program-program kompleks dalam bahasa lain digantikan dengan beberapa baris kode.

Kemudian datanglah tawaran untuk menjadi Guru Besar Ilmu Komputer Teoretis di Edinburgh pada tahun 2003. Mengambil posisi tersebut adalah keputusan yang mudah bagi Wadler karena dia dapat menggantikan salah satu pahlawan ilmiah terbesarnya, Robin Milner. (Yang lainnya adalah Tony Hoare, penemu algoritma Quicksort). “Ketika saya ditawari jabatan itu di Edinburgh, saya tidak bisa menolaknya karena posisi tersebut pertama kali dibuat untuk Robin Milner.”

Orang yang meletakkan lambda di kaos T-shirt

Knuth, McCarthy, dan Cerf telah menanamkan dalam diri Wadler pentingnya humor dalam makalah akademis dan presentasi. Tesis PhD-nya berjudul ‘Listlessness is better than laziness’, dan salah satu makalah pertamanya yang diterbitkan adalah ‘How to replace failure by a list of successes’. “Setelah itu,” katanya, “tidak ada lagi jalan kembali.” Dia senang melihat judul makalahnya dimuat dalam buku teks Helen Sword Stylish Academic Writing.

Orang-orang yang telah menghadiri kuliah Wadler pasti pernah melihatnya berubah menjadi Lambda Man, seorang pahlawan super berpakaian kostum. Kalkulus Lambda - λ-kalkulus - adalah sistem formal dalam logika matematika yang menjadi dasar dari Haskell. Transformasi menjadi pahlawan super dimulai ketika Wadler mulai menghidupkan kembali kuliah di konferensi akademis dengan menggambar rumus pada kaos T-shirt dan kemudian ‘melepas kemeja luar saya untuk menampilkan rumus itu’. Dia memiliki kaos khusus dengan kancing yang dapat dilepas untuk ini. ‘Salah satu kaos T-shirt menampilkan deskripsi kategoris dari logika linear karya RAG Seely - yang dengan baik hati setuju untuk berpose dengan kaos tersebut sebagai “model Seely”.’

Di konferensi lain, ketika duduk di bar, seorang rekan membuat analogi antara aksi Wadler dan Superman; dan ‘lampu neon menyala. Saya memesan desain lambda, yang dibuat oleh Matija dan Mojca Pretnar, dan mencetaknya di bagian depan kostum Superman yang saya beli.’

Peer review membuat IOG ‘unik’

Wadler mulai bekerja untuk Input Output enam tahun yang lalu setelah bertemu dengan Charles Hoskinson, chief executive dan co-founder dari Input Output Global (IOG). Hoskinson sedang mengunjungi Profesor Aggelos Kiayias, chief scientist perusahaan dan pendiri Blockchain Technology Lab di Edinburgh. “Charles meminta bertemu dengan saya. Saya baru saja bertemu dengan Wanda, yang tinggal di Rio de Janeiro dan akhirnya menjadi istri saya. Mengantisipasi biaya banyak penerbangan ke Brasil, saya meminta pekerjaan konsultasi kepada Charles. Itu adalah langkah berani, tetapi itu adalah salah satu pilihan terbaik yang pernah saya buat!”

Pandangan mereka yang sama tentang pentingnya akademisi bagi industri langsung terlihat. “Yang paling saya kagumi dari Charles adalah ketegasannya bahwa semua yang dilakukan IOG harus didasarkan pada penelitian yang ditinjau oleh rekan sejawat. Seperti yang dia tunjukkan, itu adalah dasar ilmu pengetahuan.”

IOG mendanai laboratorium di Edinburgh dan pusat penelitian di beberapa universitas lain, sebuah strategi yang tidak biasa di kalangan perusahaan teknologi. Namun, Wadler merasa bahwa IOG telah melakukan lebih dari itu: “Dengan protokol kriptografi yang rumit, penelitian yang ditinjau oleh rekan sejawat adalah cara terbaik untuk memastikan kebenaran mereka. Namun, sejauh yang saya ketahui, IOG unik dalam hal ini. Bukan hanya di bidang kripto, tapi juga di seluruh bidang komputasi. Google atau Microsoft akan membiarkan developer mereka menerbitkan karya, tetapi mereka tidak menganggapnya sebagai langkah penting untuk kehandalan.”

Wadler telah berkontribusi pada makalah-makalah IOG yang mencakup: extended UTXO, model ledger yang digunakan oleh Cardano; System F, elemen penting dalam dasar teori untuk bahasa seperti Haskell dan ML; dan kontrak blockchain.

Pendekatan singkat dan elegan Wadler, seperti yang terlihat dalam makalah Featherweight Java, kembali muncul ketika Plutus diumumkan pada tahun 2018. Pada acara PlutusFest di Edinburgh, tim memberikan serbet kertas hitam yang di atasnya tercetak spesifikasi bahasa untuk Plutus dengan tinta emas. Itu adalah ide yang pertama kali disebutkan oleh Hoskinson, tetapi seperti yang ditambahkan oleh Chakravarty, “Ini benar-benar berkat usaha Phil yang sejak awal bersikeras untuk menjaga Plutus Core sekecil mungkin. Kemudian, Charles membuat komentar tentang serbet kertas, tetapi Phil meneruskan ide tersebut dan itulah bagaimana kami mendapatkan serbet kertas Edinburgh.”

Kesederhanaan, keamanan, dan keamanan adalah inti dari Plutus, semua dimungkinkan oleh pemrograman fungsional dan Haskell.

2500×1875 340 KB
Proof that the core semantics of Plutus fit on a napkin

Keajaiban Matematika

Salah satu benang merah dalam karya Wadler adalah nilai matematika. “Banyak orang yang takut dengan matematika,” katanya, karena “mereka menganggap itu terlalu sulit bagi mereka. Para developer berpengalaman yang mahir dengan Javascript akan berlari menjerit dari ruangan jika melihat sesuatu di slide yang ditulis dengan huruf miring, karena terlihat seperti matematika formal.”

Namun, matematika adalah alat yang sangat kuat untuk memahami dunia di sekitar kita, dan telah digunakan sebagai alat tersebut selama ribuan tahun. Setiap generasi telah meneruskan temuan mereka kepada generasi berikutnya. Salah satu kutipan favorit Wadler adalah dari ilmuwan serba bisa asal Skotlandia, John Arbuthnot, dari bukunya yang berjudul Of the Laws of Chance pada tahun 1692:

“Terdapat sangat sedikit hal yang kita ketahui yang tidak mampu dikurangi menjadi Pemahaman Matematika; dan ketika tidak bisa, itu menandakan pengetahuan kita tentang hal tersebut sangat kecil dan membingungkan; dan ketika Pemahaman Matematika dapat diperoleh, sama bodohnya jika kita menggunakan cara lain, seperti meraba sesuatu di dalam gelap, padahal Anda memiliki lilin berdiri di dekat Anda.”

Rantai pemahaman ini adalah sesuatu yang dia tekankan kepada rekan-rekan yang lebih muda. “Pekerjaan yang Anda lakukan hanya penting jika menginspirasi orang lain untuk melakukan pekerjaan yang bahkan lebih baik. Saya bangga dengan makalah-makalah yang saya tulis, dan saya lebih bangga dengan makalah-makalah yang ditulis oleh orang lain yang membangun dari karya saya.”

Sekali lagi, dia menekankan kesederhanaan. “Sebuah corollary (simpulan) adalah pentingnya kesederhanaan. Anda harus menyajikan pekerjaan dengan cara yang memungkinkan orang lain untuk mengambil dan membangunnya. Terlalu banyak dari rekan-rekan saya yang terlalu cerdas! Mereka cukup pintar untuk menangani kompleksitas yang besar, tetapi hal itu membuat apa yang mereka lakukan sulit untuk diserap. Tolong tulis untuk orang-orang sederhana seperti saya. Sejajar dengan penemuan asli adalah upaya untuk menyederhanakan dan memoles.”

Buku Tanda Tangan Terbesar di Dunia

Pada tanggal 14 Juli, Wadler akan berada di Carlton House Terrace di London. Di sana, sebagai salah satu dari 80 peneliti, inovator, dan komunikator luar biasa, dia akan diinduksi sebagai anggota Royal Society. Organisasi ilmiah ini telah berdiri sejak tahun 1660 - Christopher Wren dan Robert Boyle termasuk di antara para pendirinya. Bangunan itu menghadap The Mall, rute prosesi besar yang menghubungkan Trafalgar Square dengan Buckingham Palace. Raja Charles II, yang membangun The Mall, memberikan patronasinya kepada Society, seperti juga setiap raja sejak itu. Raja Charles III telah menjadi Anggota Kerajaan sejak tahun 1978.

Wadler akan menandatangani namanya di sebuah buku besar yang dimulai dengan tanda tangan Charles II dan dipenuhi dengan nama-nama terang di dalam sejarah ilmiah. Anggota saat ini dan sebelumnya termasuk Charles Babbage, yang Mesin Perbedaan-nya adalah perangkat komputasi digital pertama; pionir AI dan pahlawan penyebaran kode perang Alan Turing; Hoare; Milner; Berners-Lee; David Deutsch, bapak komputasi kuantum; Sophie Wilson, co-arsitek dari BBC Micro yang membantu mengembangkan arsitektur chip ARM yang menggerakkan ponsel pintar di seluruh dunia; dan Peyton Jones. Knuth dan Cerf adalah anggota asing.

Dua anggota awal adalah Isaac Newton dan Robert Hooke. Newton terkenal dengan teorinya tentang hukum gravitasi, dan Principia Mathematica-nya dengan tiga hukum gerak sangat mempengaruhi Pencerahan di Eropa. Hooke menemukan mikroorganisme dan menciptakan istilah ‘sel’, meskipun dia mungkin lebih dikenal oleh generasi siswa sekolah karena Hukum Hooke, yang menjelaskan efek gaya pada pegas logam. Pada tahun 1675, keduanya berhubungan melalui surat. “Jika saya melihat lebih jauh,” tulis Newton, “hal itu karena berdiri di atas bahu para raksasa.” Setelah 14 Juli, nama Wadler akan berdampingan dengan tanda tangan para raksasa itu, dan dia akan menantikan peluang-peluang yang dibukakan oleh keanggotaannya.

Ilustrasi Lambda Man oleh Jonathan Smith

Temukan Lebih Lanjut