Abstraction

Origin: from Latin abstractio, from the verb abstrahere (‘draw away’)

1. the quality of dealing with ideas
2. freedom from representational qualities (especially in art).
3. the process of considering something independently of its associations, attributes, or concrete accompaniments.

Thoughts

• Locke, Abstraction, SICP, and the Programmer’s Toolbox
• Early Mechanical Reasoning and the Dream of Universal Calculation
• Meaningless Symbols in Twentieth Century Symbolic Reasoning
• Formal Methods in Ancient Greece
• What Might Simondon Think About Software And Programming?
• Heidegger and software