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…

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…

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)…

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…

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}