… said the problem to the scientist.
From Peter J. Denning (2007) Computation – a new way of science
Chapter “Representations of the Infinite”:
“The algorithm is another example of a finite description of the infinite. In this case, the entities represented are the computations that the algorithm can generate. This is what makes programming so difficult. The program’s designer needs to be able to show that every computation in the infinite set meets the input-output specifications of the algorithm.“
Is it really the infinite that causes the trouble in software development or isn’t it actually the complexity? This seems important, since imho solving infinity puzzles is significantly different from handling complexity.
While dealing with infinity is more about the existence of a solution dealing with complexity is mainly about finding the optimal effort/ benefit trade-off (“ok, our solution cannot deal with the special-special-special-case, but therefore it’s only half the prize”). The latter is a core issue in everyday software business.
related former post: Why finiteness counts