This article is not about formal verification. Why would mathematical thinking involve rejecting physical realities? If there is a performance constraint you a

This article is not about formal verification. Why would mathematical thinking involve rejecting physical realities? If there is a performance constraint you are trying to optimize, account for it. > Write a program that captures network packets and stores them on disk as fast as possible How are you going to do that without formulas involving: - network bandwidth - disk bandwidth - SATA bandwidth - packet ordering - compression time and ratios - amdahl's law This sounds ripe for mathematical reasoning! Absolutely the way you model the problem is informed your knowledge of the hardware.