4.1 计算机世界的理论基石