-
2
-
-
0001490754
-
Competing technologies, increasing returns, and lock-in by historical events
-
Arthur B. (1989): ‘Competing technologies, increasing returns, and lock-in by historical events’, Economic Journal, 99, pp. 116–31.
-
(1989)
Economic Journal
, vol.99
, pp. 116-131
-
-
Arthur, B.1
-
3
-
-
16344381466
-
The busy beaver game and the meaning of life
-
Herken R. (ed.), Oxford University Press, Oxford
-
Brady A. (1988): ‘The busy beaver game and the meaning of life’, in Herken R. (ed.): The Universal Turing Machine—A Half-century Survey, Oxford University Press, Oxford, pp. 259–78.
-
(1988)
The Universal Turing Machine—A Half-century Survey
, pp. 259-278
-
-
Brady, A.1
-
4
-
-
0041510206
-
Preference and utility: a constructive development
-
Bridges D. (1982): ‘Preference and utility: a constructive development’, Journal of Mathematical Economics, 9, pp. 165–85.
-
(1982)
Journal of Mathematical Economics
, vol.9
, pp. 165-185
-
-
Bridges, D.1
-
9
-
-
0002302751
-
On effectively computable realizations of choice functions
-
Lewis A. (1985): ‘On effectively computable realizations of choice functions’, Mathematical Social Sciences, 10, pp. 43–80.
-
(1985)
Mathematical Social Sciences
, vol.10
, pp. 43-80
-
-
Lewis, A.1
-
10
-
-
85040407379
-
-
mimeo, University of California at Irvine
-
Lewis A. (1991): ‘Church's thesis, games, computability, physics and all that.’, mimeo, University of California at Irvine.
-
(1991)
Church's thesis, games, computability, physics and all that
-
-
Lewis, A.1
-
11
-
-
0001150418
-
Attacking the busy beaver 5
-
(Internet source
-
Marxen H., Buntrock J. (1990): ‘Attacking the busy beaver 5’, Bulletin of the EATCS, 40, pp. 247–51 (Internet source: http://grail.cba.csuohio.edu/somos/busy.html).
-
(1990)
Bulletin of the EATCS
, vol.40
, pp. 247-251
-
-
Marxen, H.1
Buntrock, J.2
-
14
-
-
0011397374
-
The mental life of some machines
-
Castaneda H. (ed.), Wayne State University Press, Detroit, MI, reprinted in, Mind, Language and Reality Philosophical Papers, Cambridge University Press, Cambridge, 1975
-
Putnam H. (1967): ‘The mental life of some machines’, in Castaneda H. (ed.): Intentionality, Minds and Perception, Wayne State University Press, Detroit, MI, reprinted in Mind, Language and Reality: Philosophical Papers, Cambridge University Press, Cambridge, 1975.
-
(1967)
Intentionality, Minds and Perception
-
-
Putnam, H.1
-
15
-
-
84944486180
-
On non-computable functions
-
May
-
Rado T. (1962): ‘On non-computable functions’, Bell System Technical Journal, 41, May, pp. 877–84.
-
(1962)
Bell System Technical Journal
, vol.41
, pp. 877-884
-
-
Rado, T.1
-
17
-
-
84936526527
-
Increasing returns and long run growth
-
Romer P. (1986): ‘Increasing returns and long run growth’, Journal of Political Economy, 94, pp. 1002–37.
-
(1986)
Journal of Political Economy
, vol.94
, pp. 1002-1037
-
-
Romer, P.1
-
18
-
-
85018651986
-
Endogenous technological change
-
Romer P. (1990): ‘Endogenous technological change’, Journal of Political Economy, 98, pp. S71–S102.
-
(1990)
Journal of Political Economy
, vol.98
, pp. S71-S102
-
-
Romer, P.1
-
20
-
-
46149134052
-
Finite automata play the repeated prisoner's dilemma
-
Rubinstein A. (1986): ‘Finite automata play the repeated prisoner's dilemma’, Journal of Economic Theory, 39, pp. 83–96.
-
(1986)
Journal of Economic Theory
, vol.39
, pp. 83-96
-
-
Rubinstein, A.1
-
21
-
-
33947519218
-
Rationality, computability and complexity
-
Rustem B., Velupillai K. (1990): ‘Rationality, computability and complexity’, Journal of Economic Dynamics and Control, 14, pp. 419–32.
-
(1990)
Journal of Economic Dynamics and Control
, vol.14
, pp. 419-432
-
-
Rustem, B.1
Velupillai, K.2
-
22
-
-
84960561455
-
On computable numbers, with an application to the Entscheidungsproblem
-
Turing A. (1936): ‘On computable numbers, with an application to the Entscheidungsproblem’, Proceedings of the London Mathematical Society, 42, pp. 230–65.
-
(1936)
Proceedings of the London Mathematical Society
, vol.42
, pp. 230-265
-
-
Turing, A.1
-
23
-
-
85040397140
-
What have we learned in the path from Gödel and Turing to artificial intelligence?
-
Andersson O. (ed.), Springer, Heidelberg
-
Velupillai K. (1987): ‘What have we learned in the path from Gödel and Turing to artificial intelligence?’, in Andersson O. (ed.): Knowledge and Industrial Organization, Springer, Heidelberg, pp. 25–30.
-
(1987)
Knowledge and Industrial Organization
, pp. 25-30
-
-
Velupillai, K.1
-
24
-
-
28844496482
-
The existence of the standard system: Sraffa's constructive proof
-
Velupillai K. (1989): ‘The existence of the standard system: Sraffa's constructive proof’, Political Economy: Studies in the Surplus Approach, 5(1), pp. 3–12.
-
(1989)
Political Economy: Studies in the Surplus Approach
, vol.5
, Issue.1
, pp. 3-12
-
-
Velupillai, K.1
-
25
-
-
0039173873
-
-
Department of Economics Working Paper, Aalborg University
-
Velupillai K. (1991): ‘Formalization, rigor, proof, existence and axiomatics: some subversive thoughts’, Department of Economics Working Paper, Aalborg University.
-
(1991)
Formalization, rigor, proof, existence and axiomatics: some subversive thoughts
-
-
Velupillai, K.1
|