David, Nuno; Sichman, Jaime Simão; Coelho, Helder - In: Journal of Artificial Societies and Social Simulation 8 (2005) 4, pp. 2-2
The classical theory of computation does not represent an adequate model of reality for simulation in the social … sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and … empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social …