Graduate studies at Western
The Monist 82 (1):20-36 (1999)
|Abstract||Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while low-level programming languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter Krebs (2007). Virtual Models and Simulations. Techné 11 (1):42-54.
Caspar Addyman & Robert M. French (2012). Computational Modeling in Cognitive Science: A Manifesto for Change. Topics in Cognitive Science 4 (3):332-341.
Dirk Schlimm (2009). Learning From the Existence of Models: On Psychic Machines, Tortoises, and Computer Simulations. Synthese 169 (3):521 - 538.
Margaret Morrison (2009). Models, Measurement and Computer Simulation: The Changing Face of Experimentation. Philosophical Studies 143 (1):33 - 57.
Jan Jürjens (2002). Games in the Semantics of Programming Languages – an Elementary Introduction. Synthese 133 (1-2):131-158.
Ralph Gregory Taylor (1998). Models of Computation and Formal Languages. Oxford University Press.
Mark Sprevak (2010). Computation and Cognitive Science. Studies in History and Philosophy of Science Part A 41 (3):223-226.
Added to index2011-01-09
Total downloads3 ( #213,863 of 739,393 )
Recent downloads (6 months)1 ( #61,680 of 739,393 )
How can I increase my downloads?