Graduate studies at Western
Minds and Machines 17 (2):169-184 (2007)
|Abstract||We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns.|
|Keywords||Abstraction Computer science Information hiding Mathematics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Kit Fine (2002). The Limits of Abstraction. Oxford University Press.
Luciano Floridi (2011). Semantic Information and the Correctness Theory of Truth. Erkenntnis 74 (2):147-175.
Peter Simons (2007). Abstraction, Structure, and Substitution. Polish Journal of Philosophy 1 (1):81-100.
Gian Maria Greco, Gianluca Paronitti, Matteo Turilli & Luciano Floridi (2005). How to Do Philosophy Informationally. Lecture Notes in Computer Science 3782:623-634.
Deborah G. Johnson & Keith W. Miller (2008). Un-Making Artificial Moral Agents. Ethics and Information Technology 10 (2-3):123-133.
Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
Giuseppe Primiero (2009). Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information. History and Philosophy of Logic 30 (3):257-282.
Timothy Colburn & Gary Shute (2010). Abstraction, Law, and Freedom in Computer Science. Metaphilosophy 41 (3):345-364.
Timothy R. Colburn (1999). Software, Abstraction, and Ontology. The Monist 82 (1):3-19.
Added to index2009-01-28
Total downloads34 ( #40,671 of 739,444 )
Recent downloads (6 months)1 ( #61,778 of 739,444 )
How can I increase my downloads?