In a lecture Lamport once talked about the difference between mathematical equation (where half a page is a lot) and a program (which is a sort of math, only ma

In a lecture Lamport once talked about the difference between mathematical equation (where half a page is a lot) and a program (which is a sort of math, only many pages long). > I’m sure other technical fields of non programming require holding more than one thought in the head at once. That's not a good enough comparison. You don't see the qualitative difference.