Robin Hill

Elegance in software is widely recognized by professionals, but not well articulated. Program elegance rests on not only efficiency, as widely acknowledged, but other features that reflect the notion in other creative endeavors where artifacts are built under constraints, such as architecture. We suggest a compendium of minimality, accomplishment, modesty, and revelation, discussion of which reveals some subtleties. Programming experience enhances appreciation of these features, especially the last. Together, they can viewed as a program’s degree of “fit” to the task, raising other questions in common with any problem of the philosophy of aesthetics.

The casual justification of the influence of a technology, particularly artificial intelligence, by appeal to the existence of the technology constitutes an artificialistic fallacy, analogous to the naturalistic fallacy that is well-known in philosophy. Similar to an invocation of nature to provide moral warrant, modern tech evangelists invoke the burgeoning of hardware and software products in order to promote that burgeoning. This fallacy is often tacit or committed by omission. Emerging ethical initiatives emphasize the refinement, explanation, and oversight of AI products rather than their fundamental ethical effect, making the fallacy recursive.

The algorithm, a building block of computer science, is defined from an intuitive and pragmatic point of view, through a methodological lens of philosophy rather than that of formal computation. The treatment extracts properties of abstraction, control, structure, finiteness, effective mechanism, and imperativity, and intentional aspects of goal and preconditions. The focus on the algorithm as a robust conceptual object obviates issues of correctness and minimality. Neither the articulation of an algorithm nor the dynamic process constitute the algorithm itself. Analysis for implications in computer science and philosophy reveals unexpected results, new questions, and new perspectives on current questions, including the relationship between our informally construed algorithms and Turing machines. Exploration in terms of current computational and philosophical thinking invites further developments.