Lý thuyết phạm trù nhìn toán học không chỉ qua các đối tượng, mà qua những ánh xạ và quan hệ giữa chúng. Từ vài quy tắc đơn giản về các mũi tên, ta có một ngôn ngữ đủ rộng để nối...

Bài toán dừng của Turing cho thấy một giới hạn kỳ lạ của máy tính: có những câu hỏi được mô tả hoàn toàn rõ ràng, nhưng không tồn tại bất kỳ thuật toán tổng quát nào có thể luôn...

Một bài toán tưởng như phải thử 1000 lần, nhưng chỉ cần 10 con chuột và đúng một lượt thử. Bí mật không nằm ở con chuột, mà nằm ở cách mã hóa thông tin bằng nhị phân.

Một nguyên lý toán học đơn giản nhưng đủ mạnh để chứng minh sự trùng lặp trong bài toán sinh nhật, số học modulo, hash function, load balancing và nhiều hệ thống máy tính hữu hạn.