P so với NP
Lộ trình khó có thể đi kèm bằng chứng của chính nó.
Thấy một chuyến đi biến thành năm phép kiểm tra và một phán quyết.
Xem một ngôn ngữ trực quan có thể đi xa đến đâu
Từ số nguyên tố và thuật toán đến chính sách công, tài chính, cơ chế, giao thông, khí hậu và nước ngầm.