Computable economics [Research Reviews]

Turing, Alan M. (1952), The Chemical Basis of Morphogenesis, Philosophical Transactions of he Royal Society of London, Series B, Biological Sciences, Vol. 237(641) (14 August), pp. 37-72. -- Tustin, Arnold (1953), The Mechanism of Economic Systems: An Approach to the Problem of Economic Stabilisatio...

Full description

Main Author: Velupillai, K. Vela
Corporate Author: Edward Elgar Publishing
Other Authors: Zambelli, Stefano, Kinsella, Stephen
Format: eBook
Language:English
Published: Cheltenham Edward Elgar Pub. Ltd 2011
Series:Elgar research reviews in economics
Subjects:
Online Access:
Collection: Edward Elgar eBooks Archive 1993-2015 - Collection details see MPG.ReNa
Summary:Turing, Alan M. (1952), The Chemical Basis of Morphogenesis, Philosophical Transactions of he Royal Society of London, Series B, Biological Sciences, Vol. 237(641) (14 August), pp. 37-72. -- Tustin, Arnold (1953), The Mechanism of Economic Systems: An Approach to the Problem of Economic Stabilisation from the Point of View of Control-System Engineering, Harvard University Press, Cambridge, MA. -- Uzawa, Hirofumi (1962), Walras' Existence Theorem and Brouwer's Fixed Point Theorem, The Economic Studies Quarterly, Vol. 8(1), pp. 59-62. -- van Dalen, Dirk (2005), Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer - Volume 2: Hope and Disillusion, Clarendon Press, Oxford. -- van Lambalgen, Michiel (1987), Random Sequences, Doctoral Dissertation, University of Amsterdam, 16 September. -- Velupillai, Kumaraswamy (ed.) (1990), Nonlinear and Multisectoral Macrodynamic Essays in Honour of Richard Goodwin, Macmillan, Basingstoke. --
Simon, Herbert A. (1952), The Architecture of Complexity, Proceedings of the American Philosophical Society, Vol. 106(6), Dec 12, pp. 467-482. -- Simon, Herbert A. (1955), A Behavioural Model of Rational Choice, Quarterly Journal of Economics, Vol. 69(1), February, pp. 99-118. -- Simon, Herbert A. (1956), Rational Choice and the Structure of the Environment, Psychological Review, Vol. 63, pp. 129-138. -- Simon, Herbert A. (1977), Models of Discovery - and Other Topics in the Methods of Science, D. Reidel Publishing Company, Dordrecht. -- Simon, Herbert A. (1979), Models of Thought: Volume I, Yale University Press, New Haven
Moschovakis, Yiannis N. (1998), On Founding the Theory of Algorithms, in: Truth in Mathematics, edited by H.G. Dales and G. Oliveri, Clarendon Press, Oxford, pp. 71-104. -- Moschovakis, Yiannis N. (2001), What is an Algorithm?, in: Mathematics Unlimited - 2001 and Beyond, Springer-Verlag, Berlin and Heidelberg, pp. 919-936. -- Moschoavakis, Yiannis N. and Vasilis Paschalis (2008), Elementary Algorithms and Their Implementations, in: New Computational Paradigms: Changing Conceptions of What is Computable, edited by S. Barry Cooper, Benedikt Löwe and Andrea Sorbi, Springer Science + Business Media LLC, New York, pp. 87-118. -- Mycielski, Jan (1964), On the Axiom of Determinateness, Fundamenta Mathematicae, Vol. 53, pp. 205-224. -- Narici, Lawrence and Edward Beckenstein (1997), The Hahn-Banach Theorem, Topology and its Applications, Vol. 77, pp. 193-211. --
Marcel K. Richter and Kam-Chau Wong (1999), 'Non-Computability of Competitive Equilibrium', Economic Theory, 14 (1), July, 1-27 -- K. Vela Velupillai (2009), 'Uncomputability and Undecidability in Economic Theory', Applied Mathematics and Computation, 215 (4), October, 1404-16 -- Alain A. Lewis (1988), 'An Infinite Version of Arrow's Theorem in the Effective Setting', Mathematical Social Sciences, 16 (1), August, 41-8 -- Jerry S. Kelly (1988), 'Social Choice and Computational Complexity', Journal of Mathematical Economics, 17 (1), 1-8 -- H. Reiju Mihara (1997), 'Arrow's Theorem and Turing Computability', Economic Theory, 10 (2), August, 257-76 -- A.R.D. Mathias (1992), 'The Ignorance of Bourbaki', Mathematical Intelligencer, 14 (3), 4-13 -- Luca Anderlini and Leonardo Felli (1994), 'Incomplete Written Contracts: Undescribable States of Nature', Quarterly Journal of Economics, 109 (4), November, 1085-124 --
H. Steinhaus (1965), 'Games, An Informal Talk', American Mathematical Monthly, 72 (5), May, 457-68
Zermelo, Ernst (1913), Über ein Anwendung der Mengenlehre auf die Theorie des Schachspiels, in: Proceedings of the Fifth International Congress of Mathematicians, Cambridge, 11-28 August 1912, edited by E.W. Hobson and A.E.H. Love, Vol. 2, Cambridge University Press, Cambridge, pp. 501-504. -- Stephen C. Kleene (1981), 'Origins of Recursive Function Theory', Annals of the History of Computing, 3 (1), January, 52-67 -- A.M. Turing (1954), 'Solvable and Unsolvable Problems', Science News, 31, 7-23 -- L.E.J. Brouwer (1952), 'An Intuitionist Correction of the Fixed-Point Theorem on the Sphere', Proceedings of the Royal Society of London, Series A, 213 (1112), June, 1-2 -- Allen Newell, J.C. Shaw and Herbert A. Simon (1958), 'Elements of a Theory of Human Problem Solving', Psychological Review, 65 (3), 151-66 -- Ronald Harrop (1961), 'On The Recursivity of Finite Sets', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 7 (2), 136-40 --
Scarf, Herbert E. and John B. Shoven (eds) (1984), Applied General Equilibrium Analysis, Cambridge University Press, Cambridge. -- Schechter, Eric (1997), Handbook of Analysis and Its Foundations, Academic Press, London. -- Serény, György (2011), How do we Know that the Gödel Sentence of a Consistent Theory is True, Philosophia Mathematica, Vol. 19, p. 48. -- Shafer, Glenn and Vladimir Vovk (2001), Probability and Finance: It's Only a Game, John Wiley and Sons, New York. -- Shepherdson, John C. and H.E. Sturgis (1963), Computability of Recursive Functions, Journal of the Association of Computing Machinery, Vol. 10(2), April, pp. 217-255. -- Shoven, John B. and John Whalley (1992), Applying General Equilibrium, Cambridge University Press, Cambridge. -- Sieg, Wilfried (1997), Step by Recursive Step: Church's Analysis of Effective Calculability, Journal of Symbolic Logic, Vol. 3(2), June, pp. 154-180. -- Simon, Herbert A. (1947), Administrative Behavior, The Free Press, New York. --
Kreisel, Georg (1982), Review of 'A Computable Ordinary Differential Equation which Posseses no Computable Solution; the Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable', The Journal of Symbolic Logic, Vol. 47(4), December, pp. 900-902. -- Krugman, Paul (1996), The Self-Organizing Economy, Blackwell Publishers, Oxford. -- Kydland, Finn E. and Edward C. Prescott (1996), The Computational Experiment: An Econometric Tool, The Journal of Economic Perspectives, Vol. 10(1), Winter, pp. 69-85
K. Vela Velupillai (2005), 'The Unreasonable Ineffectiveness of Mathematics in Economics', Cambridge Journal of Economics, 29 (6), November, 849-72
Negishi, Takashi (1961), Monopolistic Competition and General Equilibrium, Review of Economic Studies, Vol. 28(3), June, pp. 196-201. -- Negishi, Takashi (1994), General Equilibrium Theory - The Collected Essays of Takashi Negishi, Volume 1, Edward Elgar, Aldershot, Hampshire. -- Negishi, Takashi (2008), Unnoticed Predecessors of the Early Negishi Theorems, International Journal of Economic Theory, Vol. 4(2), June, pp. 167-173. -- Nerode, Anil, George Metakides and Robert Constable, (1985), Recursive Limits on the Hahn-Banach Theorem, in: Errett Bishop - Reflections on Him and His Research, pp. 85-91, edited by Murray Rosenblatt, Contemporary Mathematics, Vol. 39, American Mathematical Society, Providence, Rhode Island. -- Newell, Allen and Herbert A. Simon (1972), Human Problem Solving, Prentice-Hall Inc., Englewood Cliffs, NJ. -- Ok, Efe A. (2007), Real Analysis with Economic Applications, Princeton University Press, Princeton, NJ. --
Polanyi, Michael (1966), The Tacit Dimension, Doubleday, New York. -- Pour-El, Marian Boykan and Ian Richards (1979), A Computable Ordinary Differential Equation which Possesses no Computable Solution, Annals of Mathematical Logic, Vol. 17, pp. 61-90. -- Rabin, Michael O. (1957), Effective Computability of Winning Strategies, in: Annals of Mathematics Studies, No. 39: Contributions to the Theory of Games, Vol. III, edited by M. Dresher, A.W. Tucker and P. Wolfe, Princeton University Press, Princeton, NJ, pp. 147-157. -- [112] Ramsey, Frank Plumpton (1930), On a Problem in Formal Logic, Proceedings of the London Mathematical Society, Vol. 30(1), pp. 264-286. -- Richman, Fred (1990), Intuitionism as Generalization, Philosophia Mathematica, Vol. 14, pp. 124-128. -- Rosser, J. Barkley (1978), Logic for Mathematicians (Second Edition), Chelsea Publishing Company, New York
Negishi, Takashi (1960), Welfare Economics and Existence of Equilibrium for a Competitive Economy, Metroeconomics, Vol. XII, pp. 92-97
Gödel, Kurt (1951 [1995]), Some Basic Theorems on the Foundations of Mathematics and Their Implications, in: Kurt Gödel - Collected Works, Volume III, Unpublished Essays and Lectures, edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons and Robert N. Solovay, Oxford University Press, Oxford. pp. 304-323. -- Goodstein, Reuben L. (1944), On the Restricted Ordinal Theorem, Journal of Symbolic Logic, Vol. 9(2), June, pp. 33-41. -- Goodwin, Richard M. (1947), Dynamical Coupling with Especial Reference to Markets Having Production Lags, Econometrica, Vol. 15(3), July, pp. 181-204. -- Goodwin, Richard M. (1953), Static and Dynamic Linear General Equilibrium Models, in: Input-Output Relations, edited by The Netherlands Economic Institute, H.E. Stenfort Kroese, N.V., Leiden. -- Guckenheimer, John (1996), Phase Portraits of Planar Vector Fields: Computer Proofs, Experimental Mathematics, Vol. 4(2), pp. 153-165. --
Computable economics is a growing field of research which has been given much attention by scholars in recent decades. In this authoritative collection, the editors successfully bring together the seminal papers of computable economics from the last sixty years and encompass the works of some of the most influential researchers in this area. Topics covered in this timely volume include the foundations of computable economics, classics of computable choice theory, computable macroeconomics and computable and social choice theory. The book is enhanced with a comprehensive introduction by the editors and will serve as an essential source of reference for students and researchers in the field
Velupillai, K. Vela (2009b), The Algorithmic Revolution in the Social Sciences: Mathematical Economics, Game Theory and Statistics, invited Lecture, presented at the Workshop on Information Theoretic Methods in Science and Engineering, Tampere, Finland, 17-19 August, published in the Proceedings of WITMSE. -- Velupillai, K. Vela (2010), Computable Foundations for Economics, Routledge, London. -- Velupillai, K. Vela (2010), Foundations of Boundedly Rational Choice and Satisfying Decision, Advances in Decision Sciences, April
Velupillai, K. Vela (2011), Towards an Algorithmic Revolution in Economic Theory, Journal of Economic Surveys, Vol. 25(3), July, pp. 401-430. -- [172]Velupillai, K. Vela (2012), Reflections on Mathematical Economics in the Algorithmic Mode, New Mathematics and Natural Computation, Vol. 6, March (forthcoming). -- [173]Velupillai, K. Vela and Ying Fang Kao (2011), Models of Simon, Routledge, London (forthcoming). -- von Neumann, John (1928), Zur Theorie der Gesellsschaftsspiele by J. von Neumann, Mathematische Annalen, Vol. 100, pp. 295-320. -- von Neumann, John (1937 [1945-6]), A Model of General Economic Equilibrium, The Review of Economic Studies, Vol. 13(1), pp. 1-9. -- von Neumann, John (1966), Theory of Self-Reproducing Automata, edited and completed by Arthur W. Burks, University of Illinois Press, Urbana. -- von Neumann, John and Oskar Morgenstern (1953), Theory of Games and Economic Behavior (Third Edition), Princeton University Press, Princeton, NJ. --
Debreu, Gerard (1982), Existence of Competitive Equilibrium, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 697-743. -- Delli Gatti, Domenico, Edoardo Gaffeo, Mauro Gallegati, Gianfranco Giulioni and Antonio Palestrini (2008), Emergent Macroeconomics - An Agent-Based Approach to Business Fluctuations, Springer-Verlag Italia, Milan. -- Denning, Peter J. (2010), The Great Principles of Computing, American Scientist, Vol. 98(5), September-October, pp. 369-372. -- Dervis, Kemal, Jaime de Melo and Sherman Robinson (1982), General Equilibrium Models for Development Policy, Cambridge University Press, Cambridge. -- Dixon, Peter B. and B.R. Parmenter (1996), Computable General Equilibrium Modelling for Policy Analysis and Forecasting, in: Handbook of Computational Economics, Volume 1, edited by Hans M. Amman, David A. Kendrick and John Rust, North-Holland, Amsterdam, pp. 3-85. --
Tesfatsion, Leigh and Kenneth L. Judd (eds) (2006), Handbook of Computational Economics - Agent-Based Computational Economics, Vol. 2, North-Holland, Amsterdam. -- Thaler, Richard (1980), Toward a Positive Theory of Consumer Choice, Journal of Economic Behavior and Organization, Vol. 1(1), pp. 39-60. -- Tompkins, Charles B. (1964), Sperner's Lemma and Some Extensions, in: Applied Combinatorial Mathematics edited by E.F. Beckenbach, John Wiley & Sons. Ltd., New York, pp. 416-55. -- Tsuji, Marcelo N., C.A Da Costa and Francisco A. Doria (1998), The Incompleteness of Theories of Games, Journal of Philosophical Logic, Vol. 27(6), pp. 553-568. -- Turing, Alan M. (1936-7), On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, Vol. 42-43, pp. 230-65, pp. 544-546. --
Judd, Kenneth L. (2005), Solving Dynamic Stochastic Competitive General Equilibrium Models, in: Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, edited by Timothy J. Kehoe, T.N. Srinivasan and John Whalley, Cambridge University Press, Cambridge, pp. 45-66. -- Kakutani, Shizuo (1941), A Generalization of Brouwer's Fixed Point Theorem, Duke Mathematical Journal, Vol. 8(3), pp. 457-459. -- Kehoe, Timothy J., T.N. Srinivasan and John Whalley (eds) (2005), Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, Cambridge University Press, Cambridge. -- Kelley, John L. (1955), General Topology, Springer-Verlag, New York and Heidelberg. -- Kirby, Laurie and Jeff Paris (1982), Accessible Independence Results for Peano Arithmetic, Bulletin of the London Mathematical Society, Vol. 14, pp. 285-293. --
Weissert, Thomas P. (1997), The Genesis of Simulation in Dynamics: Pursuing the Fermi-Pasta-Ulam Problem, Springer-Verlag, New York, NY. -- Wittgenstein, Ludwig (1939 [1975]), Wittgenstein's Lectures on the Foundations of Mathematics - Cambridge, 1939, From the Notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smuthies, edited by Cora Diamond, The University of Chicago Press, Chicago. -- Wolfram, Stephen (1985), Undecidability and Intractability in Theoretical Physics, Physical Review Letters, Vol. 54(8), 25 February, pp. 735-738. -- Young, Warren (2008), Negishi's Contributions to the Development of Economic Analysis: Research Programs and Outcomes, International Journal of Economic Theory, Vol. 4(2), June, pp. 151-165. -- Zambelli, Stefano (2010), Flexible Accelerator Economic Systems as Coupled Oscillators, Journal of Economic Surveys, Vol. XXV(3), pp. 608-633. --
Lewis, Alain A. (1991), Some Aspects of Effectively Constructive Mathematics that are Relevant to the Foundations of Neoclassical Mathematical Economics and the Theory of Games, Unpublished Manuscript, Department of Philosophy and the School of Social Sciences, University of California at Irvine, Irvine, CA. -- Ljungqvist, Lars and Thomas J. Sargent (2000), Recursive Macroeconomic Theory, The MIT Press, Cambridge, MA. -- [84] Maietti, Maria Emilia and Giovanni Sambin (2005), Toward a Minimalist Foundation for Constructive Mathematics, in: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Clarendon Press, Oxford, pp. 91-114. --
Simon, Herbert A. (1983), Reason in Human Affairs, Basil Blackwell, Oxford. -- Simon, Herbert A. (1986), Rationality in Psychology and Economics, The Journal of Business, Vol. 59(4, Pt. 2), October, pp. S209-S224. -- Simon, Herbert A. (1989), Models of Thought: Volume II, Yale University Press, New Haven. -- Simon, Herbert A. (1996), Machine as Mind, in: Machines and Thought - The Legacy of Alan Turing, Volume 1, edited by Peter Macmillan and Andy Clark, Oxford University Press, Oxford, pp. 81-101. -- Simon, Herbert A. (1997), Satisficing, in: Models of Bounded Rationality, Vol. 3 - Empirically Grounded Economic Reason, The MIT Press, Cambridge, MA, pp. 295-298. -- Simon, Herbert A. (2000), Letter to Velupillai, 25 May. -- Simon, Herbert A., Allen Newell and J.C. Shaw (1958), Elements of a Theory of Problem Solving, Psychological Review, Vol. 65(3), 151-166. -- Slater, Morton (1950), Lagrange Multipliers Revisited, Cowles Commission Discussion Paper, Mathematics 403, 7 November. --
Brouwer, Luitzen E.J. (1907 [1975]), Over de grondslagen der wiskunde [On the Foundations of Mathematics], Academic Thesis, pp. 11-104, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908A; 1975), Over de grondslagen der wiskunde, [On the Foundations of Mathematics], pp. 105-6, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908B; 1975), De onbetrouwbaarheid der logische principes [The unreliability of the logical principles], pp. 197-211, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York
Yasuhito Tanaka (2008), 'Undecidability of Uzawa Equivalence Theorem and LLPO (Lesser Limited Principle of Omniscience)', Applied Mathematics and Computation, 201 (1-2), July, 378-83
Osborne, Maury (1977), The Stock Market and Finance from a Physicist's Viewpoint, Crossgar Press, Minneapolis. -- Osborne, Martin J. and Ariel Rubinstein (1994), A Course in Game Theory, The MIT Press, Cambridge, MA. -- Pareto, Vilfredo [1927 (1971)], Manual of Political Economy, translated from the French Edition of 1927 by Ann S. Schwier and edited by Ann S. Schwier and Alfred N. Page, Macmillan, London. -- Paris, Jeff and Reza Tavakol (1993), Goodstein Algorithm as a Super-Transient Dynamical System, Physics Letters A, Vol. 180(1-2), pp. 83-86. -- Park, Sehie (2000), The Knaster-Kuratowski-Mazurkiewicz Theorem and Almost Fixed Points, Topological Methods in Nonlinear Analysis, Vol. 16, pp. 195-200. -- Penrose, Roger (1989) The Emperor's New Mind: Concerning Computers, Mind, and the Laws of Physics, Oxford: Oxford University Press. -- Péter, Rózsa (1967), Recursive Functions (Third Revised Edition), translated from the German by István Földes, Academic Press, New York. --
[55] Hahn, Frank Horace (1994), An Intellectual Retrospect, Banca Nazionale del Lavoro - Quarterly Review, Vol. XLVIII(190), September, pp. 245-258. -- Hayek, F.A. von (ed.) (1935), Collectivist Economic Planning - Critical Studies on the Possibilities of Socialism, Routledge & Kegan Paul, Ltd., London
Stephen E. Spear (1989), 'Learning Rational Expectations Under Computability Constraints', Econometrica, 57 (4), July, 889-910 -- Francesco Luna (1997), 'Learning in a Computable Setting. Applications of Gold's Inductive Inference Model', in Hans Amman, Berc Rustem and Andrew Whinston (eds), Computational Approaches to Economic Problems, Dordrecht, The Netherlands: Kluwer Academic Publishers, 271-88 -- Stefano Zambelli (2004), 'Production of Ideas by Means of Ideas: A Turing Machine Metaphor', Metroeconomica, 55 (2&3), 155-79 -- K. Vela Velupillai (2007), 'The Impossibility of an Effective Theory of Policy in a Complex Economy', in Massimo Salzano and David Colander (eds), Complexity Hints for Economic Policy, Berlin, Germany and New York, NY: Springer-Verlag, 273-90 -- Alain A. Lewis (1991), 'On the Effective Content of Asymptotic Verifications of Edgeworth's Conjecture', Mathematical Social Sciences, 22 (3), December, 275-324 --
Hayek, F.A. von (1940), Socialist Calculation: The Competitive 'Solution', Economica, Vol. 7(26), May, pp. 125-149. -- Hayes, Brian (2003), A Lucid Interval, American Scientist, Vol. 91(6), November-December, pp. 484-488. -- Hilbert, David (1927 [1983]), On the Infinite, in: Philosophy of Mathematics - Selected Readings, Second Edition, edited by Paul Benacerraf and Hilary Putnam, Cambridge University Press, Cambridge, pp. 183-201. -- Humphreys, Paul (2009), Computational Economics, in: The Oxford Handbook of Philosophy of Economics, edited by Harold Kincaid and Don Ross, Oxford University Press, Oxford. -- Ishihara, Hajime (1989), On the Constructive Hahn-Banach Theorem, Bulletin of the London Mathematical Society, Vol. 21, pp. 79-81. -- Johansen, Leif (1960; 1974), A Multi-Sectoral Study of Economic Growth, Second Enlarged Edition, North-Holland Publishing Company, Amsterdam. --
Arrow, Kenneth J, Samuel Karlin and Herbert Scarf (1958), The Nature and Structure of Inventory Problems, Chapter 2, pp. 16-36, in: Studies in the Mathematical Theory of Inventory and Production, edited by Kenneth J. Arrow, Samuel Karlin and Herbert Scarf, Stanford University Press, Stanford, CA. -- Avigad, Jeremy (2009), The Metamathematics of Ergodic Theory, Annals of Pure and Applied Logic, Vol. 157 (2009), pp. 64-65. -- Beckett, Samuel (1931 [1965]), Proust and Three Dialogues with Georges Duthuit, John Calder Publishers, London. -- Beinhocker, Eric D. (2006), The Origin of Wealth: The Radical Remaking of Economics and What It Means for Business and Society, Harvard Business School Press, Boston, MA. -- Berlekamp, Elwyn R., John H. Conway and Richard K. Guy (1982), Winning Ways for your Mathematical Plays - Volume 2: Games in Particular, Academic Press, London. -- Bishop, Errett A. (1967), Foundations of Constructive Analysis, McGraw-Hill Book Company, New York. --
Smale, Steve (1976), Dynamics in General Equilibrium Theory, American Economic Review, Vol. 66(2), May, pp. 288-294. -- Smale, Steve (1981), Global Analysis and Economics, in: Handbook of Mathematical Economics, Vol. 1, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 331-370. -- Smale, Steve (1998), Mathematical Problems for the Next Century, The Mathematical Intelligencer, Vol. 20(2), Spring, pp. 7-15. -- Specker, Ernst (1949), Nicht Konstruktive beweisbare Sätze der Analysis, Journal of Symbolic Logic, Vol. 14, pp. 145-158. -- Starr, Ross M. (1977), General Equilibrium Theory: An Introduction, Cambridge University Press, Cambridge. -- Steinhaus, H. (1965), Games, An Informal Talk, The American Mathematical Monthly, Vol. 72(5), May, pp. 457-468. -- Stein, P.R. and Stanislaw M. Ulam (1964), Nonlinear Transformation Studies, Rozprawy Matematyczne, Institute of Mathematics of the Polish Academy, Warsaw, pp. 3-20. --
Gregory Lilly (1993), 'Recursiveness and Preference Orderings', Journal of Economic Dynamics and Control, 17 (5-6), September-November, 865-76 -- Michael O. Rabin (1957), 'Effective Computability of Winning Strategies', Annals of Mathematics Studies, 39, 147-57 -- Luca Anderlini (1990), 'Some Notes on Church's Thesis and the Theory of Games', Theory and Decision, 29 (1), 19-52 -- Kislaya Prasad (1991), 'Computability and Randomness of Nash Equilibrium in Infinite Games', Journal of Mathematical Economics, 20 (5), 429-42 -- David Canning (1992), 'Rationality, Computability, and Nash Equilibrium', Econometrica, 60 (4), July, 877-88 -- Kislaya Prasad (1997), 'On the Computability of Nash Equilibria', Journal of Economic Dynamics and Control, 21 (6), June, 943-53 -- K. (Vela) Velupillai (1997), 'Expository Notes on Computability and Complexity in (Arithmetical) Games', Journal of Economic Dynamics and Control, 21 (6), June, 955-79 --
Markov, A.A. (1954 [1961]), Theory of Algorithms, Academy of Sciences of the USSR, Moscow and Leningrad, translated by Jacques J. Schorr-Kon and PST Staff and published for The National Science Foundation, Washington, D.C., and The Department of Commerce, USA, by The Israel Program for Scientific Translations, Jerusalem. -- Matiyasevich, Yuri M. (1993), Hilbert's Tenth Problem, The MIT Press, Cambridge, MA. -- McCulloch, Warren S. (1961 [1965]), What is a Number, that a Man May Know It, and a Man, that He May Know a Number?, the Ninth Alfred Korzybski Memorial Lecture, reprinted in: Embodiments of Mind, by Warren S. McCulloch, The M.I.T Press, Cambridge, MA, pp. 1-18. -- Mercenier, Jean and T.N. Srinivasan (eds) (1994), Applied General Equilibrium and Economic Development, The University of Michigan Press, Ann Arbor, MI. -- Moore, Ramon E. (1966), Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ. --
Bishop, Errett A. (1985), Schizophrenia in Contemporary Mathematics, in: Errett Bishop: Reflections on Him and His Research, edited by Murray Rosenblatt, Contemporary Mathematics, Volume 39, American Mathematical Society, Providence, RI. -- Blum, Lenore, Felipe Cucker, Michael Shub and Steve Smale (1998), Complexity and Real Computation, Springer Verlag, New York. -- Brainard, William C. and Herbert E. Scarf (2005), How to Compute Equilibrium Prices in 1891, in: Celebrating Irving Fisher - The Legacy of a Great Economist, edited by Robert W. Dimand and John Geanakoplos, Blackwell Publishing Ltd., Oxford. -- Bridges, Douglas and Fred Richman (1987), Varieties of Constructive Mathematics, Cambridge University Press, Cambridge. --
Gács, Péter, John T. Tromp and Paul Vitányi (2001), Algorithmic Statistics, IEEE Transactions on Information Theory, Vol. 47(6), September, pp. 2443-2463. -- Gandy, Robin O. (1980), Church's Thesis and Principles for Mechanisms, in: The Kleene Symposium, edited by J. Barwise, H.J. Keisler and K. Kunen, North-Holland, Amsterdam. -- Gandy, Robin (1995), The Confluence of Ideas in 1936, The Universal Turing Machine - A Half-century Survey (Second Edition), edited by Rolf Herken, Springer-Verlag, Wien and New York, 1995, pp. 51-102. -- Giocoli, Nicola (2003), Fixing the Point: The Contribution of Early Game Theory to the Tool-Box of Modern Economics, Journal of Economic Methodology, Vol. 10(1), pp. 1-39. -- Gödel, Kurt (1946 [1965]), Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics, in: The Undecidable - Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, edited by Martin Davis, Raven Press, New York, pp. 84-88. --
Dummett, Michael (1977), Elements of Intuitionism, Clarendon Press, Oxford. -- Edwards, Ward (1954), The Theory of Decision Making, Psychological Bulletin, Vol. 51(4), pp. 380-417. -- Edwards, Ward (1961), Behavioural Decision Theory, Annual Review of Psychology, Vol. 12, pp. 473-498
Cohen, Daniel I.A. (1991), The Superfluous Paradigm, in: The Mathematical Revolution Inspired by Computing edited by J.H. Johnson and M.J. Loomes, Oxford University Press, Oxford, pp. 323-329. -- Cooley, Thomas F. and Edward C. Prescott (1995), Economic Growth and Business Cycles, in: Frontiers of Business Cycle Research, edited by Thomas F. Cooley, Princeton University Press, Princeton, NJ. -- Cooper, S. Barry (2004), Computability Theory, Chapman and Hall/CRC, Boca Raton, Florida. -- Cornwall, Richard R. (1984), Introduction to the Use of General Equilibrium Analysis, North-Holland, Amsterdam. -- Davis, Martin (1978), What is a Computation?, in: Mathematics Today: Twelve Informal Essays, edited by Lynn Arthur Steen, Springer-Verlag, New York, pp. 241-267. --
Hilary Putnam ([1967] 1975), 'The Mental Life of Some Machines', in H. Castaneda (ed.), Intentionality, Minds and Perception, reprinted in Hilary Putnam (ed.), Mind, Language and Reality: Philosophical Papers, Volume 2, Chapter 20, Cambridge, UK; Cambridge University Press, 408-28, references -- Douglas S. Bridges (1999), 'Constructive Methods in Mathematical Economics', Journal of Economics, Supplement 8, 1-21 -- Douglas S. Bridges (1982), 'Preference and Utility: A Constructive Development', Journal of Mathematical Economics, 9, 165-85 -- Alain A. Lewis (1985), 'On Effectively Computable Realizations of Choice Functions', Mathematical Social Sciences, 10 (1), August, 43-80 -- Alain A. Lewis (1985), 'The Minimum Degree of Recursively Representable Choice Functions', Mathematical Social Sciences, 10 (2), October, 179-88 -- Berc Rustem and Kumaraswamy Velupillai (1990), 'Rationality, Computability, and Complexity', Journal of Economic Dynamics and Control, 14 (2), May, 419-32 --
Lange, Oskar (1967), The Computer and the Market, in: Socialism, Capitalism & Economic Growth - Essays presented to Maurice Dobb, edited by C.H. Feinstein, Cambridge University Press, Cambridge, pp. 158-161. -- Lange, Oskar (1970), Introduction to Economic Cybernetics, Pergamon Press, London. -- Langley, Pat, Herbert A. Simon, Gary L. Bradshaw and Jan M. Zytkow (1987), Scientific Discovery: Computational Explorations of the Creative Process, The MIT Press, Cambridge, MA. -- Lawvere, F. William and Stephen H. Schanuel (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge. -- Lewis, Alain A. (1986), Structure and Complexity: The Use of Recursion Theory in the Foundations of Neoclassical Mathematical Economics and Game Theory, Manuscript/Monograph, Department of Mathematics, Cornell University, Ithaca, NY. --
Knaster, Bronislaw, Kazimerz Kuratowski and Stefan Mazurkiewicz (1929), Ein Beweis des Fixpunktsatzes für n-dimensionale Simplexe, Fundamenta Mathematicae, Vol. 14, 132-137. -- [70] Kleene, Stephen Cole (1952), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam. -- Knuth, Donald E. (1973), The Art of Computer Programming: Volume 1 / Fundamental Algorithms, Second Edition, Addison-Wesley Publishing Company, Reading, MA. -- Knuth, Donald E. (1981), Algorithms in Modern Mathematics and Computer Science, in: Algorithms in Modern Mathematics and Computer Science, edited by A.P. Ershov and Donald E. Knuth, pp. 82-99, Springer-Verlag, Berlin. -- Kreisel, Georg (1974), A Notion of Mechanistic Theory, Synthese, Vol. 29, pp. 11-26. --
Marcelo Tsuji, Newton C.A. Da Costa and Francisco A. Doria (1998), 'The Incompleteness of Theories of Games', Journal of Philosophical Logic, 27 (6), December, 553-68 -- Rolf Ricardo Mantel (1968), 'Toward a Constructive Proof of the Existence of Equilibrium in a Competitive Economy', Yale Economic Essays, 8 (1), Spring, 155-96 -- Hirofumi Uzawa (1962), 'Walras' Existence Theorem and Brouwer's Fixed-Point Theorem', Economic Studies Quarterly, 8 (1), 59-62 -- Herbert E. Scarf (1984), 'The Computation of Equilibrium Prices', in Herbert E. Scarf and John B. Shoven (eds), Applied General Equilibrium Analysis, Chapter 1, Cambridge, UK: Cambridge University Press, 1-49 -- K. Vela Velupillai (2006), 'Algorithmic Foundations of Computable General Equilibrium Theory', Applied Mathematics and Computation, 179 (1), 360-69 --
Velupillai, K. Vela (1997), Expository Notes on Computability and Complexity in (Arithmetical) Games, Journal of Economic Dynamics and Control, Vol. 21(6), pp. 955-979. -- Velupillai, Kumaraswamy (2000), Computable Economics, Oxford University Press, Oxford. -- Velupillai, K. Vela (2006), The Algorithmic Foundations of Computable General Equilibrium Theory, Applied Mathematics and Computation, Vol. 179(1), August, pp. 360-369. -- Velupillai, K. Vela (2009), Uncomputability and Undecidability in Economic Theory, Applied Mathematics and Computation, Vol. 215(4), 15 October, pp. 1404-1416. -- Velupillai, K. Vela (2009a), A Computable Economist's Perspective on Computational Complexity, in: The Handbook of Complexity Research, edited by: J. Barkley Rosser, Jr., Edward Elgar Publishing Ltd. Cheltenham, UK and Northampton, MA, USA, pp. 36-83. --
Russell, Bertrand (1919), Introduction to Mathematical Philosophy, George Allen and Unwin, London. -- Samuelson, Paul Anthony (1947), Foundations of Economic Analysis, Harvard University Press, Cambridge, MA. -- Samuelson, Paul Anthony (1971), Maximum Principles in Analytical Economics, in: Les Prix Nobel en 1970, The Nobel Foundation, Stockholm, pp. 273-288. -- Scarf, Herbert E. (1967), On the Computation of Equilibrium Prices, in: Ten Economic Studies in the Tradition of Irving Fisher, John Wiley & Sons, New York. -- Scarf, Herbert E. (1973), The Computation of Economic Equilibria, Yale University Press, New Haven and London. -- Scarf, Herbert E. (1982), The Computation of Equilibrium Prices: An Exposition, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 1007-1061. --
Recommended readings (Machine generated): Aberth, Oliver (1980), Computable Analysis, McGraw-Hill International Book Company, New York. -- Aberth, Oliver (2001), Computable Calculus, Academic Press, San Diego, CA. -- Abraham, Ralph (1985), Is There Chaos Without Noise, in Chaos, Fractals, and Dynamics edited by P. Fischer and William R. Smith, chapter 7, pp. 117-121, Marcel Dekker, Inc., New York and Basel. -- Amman, Hans M., David A. Kendrick and John Rust (1996; Editors), Handbook of Computational Economics, Vol. 1, North-Holland, Amsterdam. -- Arrow, Kenneth J. (1986), Rationality of Self and Others in an Economic System, Journal of Business, Vol. 59 (Pt. 2), October, pp. S385-S398. -- Arrow, Kenneth J. and Gerard Debreu (1954), Existence of an Equilibrium for a Competitive Economy, Econometrica, Vol. 22, pp. 265-290. --
Brouwer, Luitzen. E.J. (1910), Über eineindeutige, stetige Transformationen von Flächen in sich, Mathematische Annalen, Vol. 69, pp. 176-180. -- Brouwer, Luitzen E.J. (1952), An Intuitionist Correction of the Fixed-Point Theorem on the Sphere, Proceedings of the Royal Society London, Vol. 213 (5 June), pp. 1-2. -- Burks, Arthur W. (1970; Editor), Essays on Cellular Automata, University of Illinois Press, Urbana. -- Camerer, Colin F., George Loewenstein and Matthew Rabin (eds) (2004), Advances in Behavioral Economics, Princeton University Press, Princeton, New Jersey. -- Cheng, Harrison H.C. (1991), Asset Market Equilibrium in Infinite Dimensional Complete Markets, Journal of Mathematical Economics, Vol. 20(1), pp. 137-152. -- Clower, Robert W. and Peter W. Howitt (1978), The Transaction Theory of the Demand for Money: A Reconsideration, Journal of Political Economy, Vol. 86(3), June, pp. 449-466. --
Edwards, Ward, Harold Lindman and Leonard J. Savage (1963), Bayesian Statistical Inference for Psychological Research, Psychological Research, Vol. 70(3), May, pp. 193-242. -- Euwe, Max (1929), Mengentheoretische Betrachtungen über das Schachspiel, Communicated by Prof. R. Weizenböck (May, 25, 1929), Proc. Koninklijke Nederlandse Akademie Van Wetenschappen, (Amsterdam) 32(5), pp. 633-642. -- Feferman, Solomon (2009), Gödel, Nagel, Minds, and Machines, The Journal of Philosophy, Vol. 106(4), pp. 201-219. -- Feynman, Richard P. (1996), Feynman Lectures on Computation, edited by Anthony J.G. Hey and Robin W. Allen, Addison-Wesley Publishing Company, Inc., Reading, MA. -- Fisher, Irving (1892; 1991), Mathematical Investigations in the Theory of Value and Prices, Augustus M. Kelley Publishers, Fairfield, NJ. -- Fermi, Enrico, John Pasta and Stanislaw Ulam (1955), Studies of Non Linear Problems, Los Alamos Preprint, LA-1940. --
Stone, Richard and Alan Brown (1962), Foreword, in: A Computable Model of Economic Growth, Department of Applied Economics, University of Cambridge, Chapman and Hall; A Programme for Growth 1, July. -- Strotz, R.H., J.F. Calvert and N.F. Morehouse (1951), Analogue Computing Techniques Applied to Economics, AIEE Transactions, Vol. 70(1), pp. 557-563. -- Strotz, R.H., J.C. McAnulty and J.B. Naines, Jr. (1953), Goodwin's Non-linear Theory of the Business Cycle: An Electro-Analog Solution, Econometrica, Vol. 21(3), July, pp. 390-411. -- Takeuti, Gaisi (2003), Memoirs of a Proof Theorist: Gödel and other Logicians, translated by Mariko Yasugi and Nicholas Passell, World Scientific, New Jersey and Singapore
Physical Description:1 v
ISBN:9781784712716