I think the importance of Boolean algebra and computability theory to early computers is vastly overstated. I see no influence of computability theory on ENIAC,

I think the importance of Boolean algebra and computability theory to early computers is vastly overstated. I see no influence of computability theory on ENIAC, for instance. As for Boolean algebra, it seems more descriptive than useful for early computers. But I'm very interested if people have counterexamples.