-
Teori ketidaklengkapan Godel
Salah satu artikel terbaik yang bisa menjelaskan tentang Teori Ketidaklengkapan Godel (Godel’s Incompleteness Theorem) adalah artikel yang ditulis oleh Solomon Feferman. Artikel ini berjudul “The Nature and Significance of Godel’s Incompleteness Theorem“. Teori Ketidaklengkapan Godel berusaha untuk menunjukkan bahwa dalam setiap sistem formal (formal system), terdapat pernyataan yang benar (true), namun pernyataan tersebut tidak dapat…
-
Mengapa memakai LaTeX
Bagi beberapa orang, mungkin latex bisa jadi adalah bahan sintetis seperti karet. Akan tetapi, dalam tulisan ini, LaTeX berarti bahasa markup untuk menyiapkan dokumen dengan menggunakan sistem pencetakkan (typesetting) TeX yang dibuat oleh Donald Knuth (Orang yang sama yang menulis buku klasik The Art of Computer Programming). Di dunia tunjuk dan klik (point-and-click) sekarang, mungkin…
-
Sistem formal dan teka-teki MU
Sistem formal (formal system) adalah sistem yang dibangun dari bahasa formal (formal language). Bahasa formal terdiri dari alfabet, yaitu sekedar simbol tanpa memiliki arti tertentu. Dari alfabet tersebut kita dapat membuat string (runtutan alfabet). Misalnya, kita memiliki sebuah kumpulan (set) S = {%, &, #}. Contoh string adalah (tanpa tanda petik) “%#”, “%&”, “%%%”, “%%&#”,…
-
Mengganti kata “Contents” menjadi “Daftar Isi” di LaTeX
Daftar Isi dihasilkan secara otomatis ketika kita menggunakan LaTeX. Akan tetapi, judul dari daftar isi itu menggunakan Bahasa Inggris, yaitu “Contents”. Untuk mengganti judul tersebut, misalnya ke “Daftar Isi”, gunakan perintah berikut. \renewcommand{\contentsname}{Daftar Isi}
-
Menggunakan vim sebagai hex editor
Untuk menggunakan Vim sebagai Hex Editor, cukup buka file binari dan masukkan perintah berikut (tekan ESC dulu) :%! xxd Untuk kembali ke mode normal, ketikkan perintah berikut (tekan ESC dulu) :%! xxd -r
-
Cerita di balik Ctrl-Alt-Del
Ctrl-Alt-Delete adalah kombinasi tombol di papan ketik komputer kita yang biasanya kita gunakan baik untuk melakukan reboot ataupun memunculkan Task Manager (Windows). Kombinasi tiga tombol ini terkenal dengan sebutan “Three-finger salute“. Adalah David Bradley yang merancang tiga tombol ini saat dia bersama 12 teknisi lain merancang IBM PC. Saat itu, para teknisi harus sering kali…
-
Mengganti nama bab di LaTeX
LaTeX mendefinisikan bab suatu tulisan dengan markup \chapter{nama chapter}. Dengan markup ini, setiap bab akan ditulis chapter + penomoran chapter tersebut. Jika ingin mengubah kata “Chapter” menjadi “Bab”, tuliskan seperti ini \renewcommand{\chaptername}{Bab}