A manifesto for the computational method
نویسندگان
چکیده
منابع مشابه
Computational Neuroethology: A Provisional Manifesto
[55] A. Sloman. Beyond turing equivalence. In Proceedings Turing 1990 Colloquium, 1990. [56] P. Smolensky. On the proper treatment of connectionism. The Behavioral and Brain Sciences, 11:1{74, 1988. [57] M. V. Srinivasan, S. B. Laughlin, and A. Dubs. Predictive coding: a fresh view of inhibition in the retina. Proc. R. Soc. Lond. B, 216:427{459, 1982. [58] I. Stewart. Does God Play Dice? Pengui...
متن کاملManifesto for a new (computational) cognitive revolution.
The cognitive revolution offered an alternative to merely analyzing human behavior, using the notion of computation to rigorously express hypotheses about the mind. Computation also gives us new tools for testing these hypotheses - large behavioral databases generated by human interactions with computers and with one another. This kind of data is typically analyzed by computer scientists, who f...
متن کاملMaking the Analysis of Complicated Algorithms Fun: A Manifesto for the Computational Method
We promote the much maligned computational method. The computational method is a paradigm for proving mathematical results where the burden of doing the “grunt work” is given to our able research assistant, the computer. We assert that proofs using the computational method, also known as computer aided proofs, are here to stay. In fact, the use of a computer can make the analysis of complicated...
متن کاملManifesto of computational social science
The increasing integration of technology into our lives has created unprecedented volumes of data on society’s everyday behaviour. Such data opens up exciting new opportunities to work towards a quantitative understanding of our complex social systems, within the realms of a new discipline known as Computational Social Science. Against a background of financial crises, riots and international e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00078-0