-
2
-
-
84909384355
-
Is computer science logic-dependent?
-
Dégremont, C, et al, Eds, College Publications
-
Carnielli, W.A., Doria, F.A., 2008. Is computer science logic-dependent? In: Dégremont, C., et al. (Eds.), Dialogues, Logics and other Strange Things: Essays in Honor of Shahid Rahman, College Publications.
-
(2008)
Dialogues, Logics and other Strange Things: Essays in Honor of Shahid Rahman
-
-
Carnielli, W.A.1
Doria, F.A.2
-
3
-
-
33745719324
-
Computing the Future
-
Velupillai K.V. (Ed), Blackwell, Oxford
-
da Costa N.C.A., and Doria F.A. Computing the Future. In: Velupillai K.V. (Ed). Computability, Complexity and Constructivity in Economic Analysis (2005), Blackwell, Oxford 15-50
-
(2005)
Computability, Complexity and Constructivity in Economic Analysis
, pp. 15-50
-
-
da Costa, N.C.A.1
Doria, F.A.2
-
4
-
-
64549117063
-
Hypotheses that imply the independence of P = N P from strong axiomatic systems
-
in press, Zambelli, S, Ed, Routledge, London
-
da Costa, N.C.A., Doria, F.A., in press. Hypotheses that imply the independence of P = N P from strong axiomatic systems. In: Zambelli, S. (Ed.), Festschrift in Honor of V. Velupillai, Routledge, London.
-
Festschrift in Honor of V. Velupillai
-
-
da Costa, N.C.A.1
Doria, F.A.2
-
6
-
-
64549125303
-
Special issue on hypercomputation
-
Doria, F.A, Costa, J.F, eds
-
Doria, F.A., Costa, J.F., eds., 2006. Special issue on hypercomputation. Applied Mathematics and Computation 178.
-
(2006)
Applied Mathematics and Computation
, vol.178
-
-
-
8
-
-
0003005474
-
A notion of mechanistic theory
-
Kreisel G. A notion of mechanistic theory. Synthèse 29 (1974) 11-26
-
(1974)
Synthèse
, vol.29
, pp. 11-26
-
-
Kreisel, G.1
-
10
-
-
24944582876
-
On Turing degrees of Walrasian models and a general impossibility result in the theory of decision making
-
Lewis A.A. On Turing degrees of Walrasian models and a general impossibility result in the theory of decision making. Mathematical Social Sciences 24 (1992) 141-171
-
(1992)
Mathematical Social Sciences
, vol.24
, pp. 141-171
-
-
Lewis, A.A.1
-
11
-
-
38249009230
-
Some aspects of constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games
-
Lewis A.A. Some aspects of constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games. Mathematical Social Sciences 24 (1992) 209-235
-
(1992)
Mathematical Social Sciences
, vol.24
, pp. 209-235
-
-
Lewis, A.A.1
-
14
-
-
64549102659
-
Intelligent vs. random beavers
-
Perrone A., and Ferraris G. Intelligent vs. random beavers. Metroeconomica 55 (2004) 332-344
-
(2004)
Metroeconomica
, vol.55
, pp. 332-344
-
-
Perrone, A.1
Ferraris, G.2
-
16
-
-
0010940686
-
Computability and randomness of Nash equilibria in infinite games
-
Prasad K. Computability and randomness of Nash equilibria in infinite games. Journal of Mathematical Economics 20 (1991) 429-449
-
(1991)
Journal of Mathematical Economics
, vol.20
, pp. 429-449
-
-
Prasad, K.1
-
17
-
-
33947498816
-
Constructive and classical models for results in economics and game theory
-
Prasad K. Constructive and classical models for results in economics and game theory. Metroeconomica 55 (2004) 141-154
-
(2004)
Metroeconomica
, vol.55
, pp. 141-154
-
-
Prasad, K.1
-
18
-
-
84944486180
-
On non-computable functions
-
Radó T. On non-computable functions. Bell Systems Technical Journal 41 (1962) 877-884
-
(1962)
Bell Systems Technical Journal
, vol.41
, pp. 877-884
-
-
Radó, T.1
-
19
-
-
33749908081
-
Classes of recursively enumerable sets and their decision problems
-
Rice H.G. Classes of recursively enumerable sets and their decision problems. Transactions on American Mathematical Society 74 (1953) 358-366
-
(1953)
Transactions on American Mathematical Society
, vol.74
, pp. 358-366
-
-
Rice, H.G.1
-
20
-
-
0000546276
-
Some unsolvable problems involving elementary functions of a real variable
-
Richardson D. Some unsolvable problems involving elementary functions of a real variable. Journal of Symbolic Logic 33 (1968) 514-522
-
(1968)
Journal of Symbolic Logic
, vol.33
, pp. 514-522
-
-
Richardson, D.1
-
22
-
-
84881705943
-
Computational and dynamic complexity in economics
-
Preprint
-
Rosser, Jr., J.B., 2006. Computational and dynamic complexity in economics. Preprint.
-
(2006)
-
-
Rosser Jr., J.B.1
-
23
-
-
0037312461
-
Two undecidable problems of analysis (translation from the 1963 original text)
-
Scarpellini B. Two undecidable problems of analysis (translation from the 1963 original text). Minds and Machines 13 (2003) 49-77
-
(2003)
Minds and Machines
, vol.13
, pp. 49-77
-
-
Scarpellini, B.1
-
24
-
-
0037314840
-
Comments on 'Two undecidable problems of analysis'
-
Scarpellini B. Comments on 'Two undecidable problems of analysis'. Minds and Machines 13 (2003) 79-85
-
(2003)
Minds and Machines
, vol.13
, pp. 79-85
-
-
Scarpellini, B.1
-
25
-
-
84856043672
-
A mathematical theory of communication
-
and
-
Shannon, C.E., 1948. A mathematical theory of communication, Bell System Technical Journal 27, 379-423 and 623-656.
-
(1948)
Bell System Technical Journal
, vol.27
-
-
Shannon, C.E.1
-
27
-
-
84960561455
-
On computable numbers, with an application to the Entscheidungsproblem
-
Turing A.M. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 50 (1936) 230-251
-
(1936)
Proceedings of the London Mathematical Society
, vol.50
, pp. 230-251
-
-
Turing, A.M.1
-
29
-
-
52949083378
-
-
Discussion paper no. 7, Dipartimento di Economia, Università degli Studi di Trento
-
Velupillai, K.V., 2003a. Economics and the complexity vision. Discussion paper no. 7, Dipartimento di Economia, Università degli Studi di Trento.
-
(2003)
Economics and the complexity vision
-
-
Velupillai, K.V.1
-
32
-
-
28844455607
-
The unreasonable ineffectiveness of mathematics in economics
-
Velupillai K.V. The unreasonable ineffectiveness of mathematics in economics. Cambridge Journal of Economics 29 (2005) 848-872
-
(2005)
Cambridge Journal of Economics
, vol.29
, pp. 848-872
-
-
Velupillai, K.V.1
-
33
-
-
33747346132
-
Algorithmic foundations of computable general equilibrium theory
-
Velupillai K.V. Algorithmic foundations of computable general equilibrium theory. Applied Mathematics and Computation 179 (2006) 360-369
-
(2006)
Applied Mathematics and Computation
, vol.179
, pp. 360-369
-
-
Velupillai, K.V.1
-
34
-
-
64549083403
-
Variations on the theme of conning in mathematical economics
-
Preprint
-
Velupillai, K.V., 2007a. Variations on the theme of conning in mathematical economics. Preprint.
-
(2007)
-
-
Velupillai, K.V.1
-
35
-
-
64549090168
-
Sraffa's mathematical economics - a constructive interpretation
-
Preprint
-
K.V. Velupillai, 2007b. Sraffa's mathematical economics - a constructive interpretation. Preprint.
-
(2007)
-
-
Velupillai, K.V.1
-
36
-
-
33947518299
-
Production of ideas by means of ideas: a Turing machine metaphor
-
Zambelli S. Production of ideas by means of ideas: a Turing machine metaphor. Metroeconomica 55 (2004) 155-179
-
(2004)
Metroeconomica
, vol.55
, pp. 155-179
-
-
Zambelli, S.1
|