Albin, Peter S. The metalogic of economic predictions, calculations and propositions. (English) Zbl 0503.90028 Math. Soc. Sci. 3, 329-358 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 91B99 Mathematical economics 03B25 Decidability of theories and sets of sentences Keywords:metalogic of economic predictions; Goedel incompleteness; undecidability; theoretical economic systems; formal systems; Goedel undecidability; economic equilibria; economic calculation; social choice PDFBibTeX XMLCite \textit{P. S. Albin}, Math. Soc. Sci. 3, 329--358 (1982; Zbl 0503.90028) Full Text: DOI References: [1] Albin, P. S., Structure, complexity and structural change, (Working Paper 41 (1981), Center for System Structure and Industrial Complexity, City University of New York) [2] Albin, P. S., The Analysis of Complex Socioeconomic Systems (1975), D.C. Heath: D.C. Heath Lexington, MA [3] Albin, P. S., The complexity of social groups and social systems described by graph structures, Math. Soc. Sci., 1, 101-129 (1980) · Zbl 0488.90006 [4] Arbib, M., Brains, Machines and Mathematics (1980), McGraw-Hill: McGraw-Hill New York · Zbl 0174.02401 [5] Bernstein, J., Experiencing Science (1980), E.P. Dutton: E.P. Dutton New York [6] Burks, W., Essays on Cellular Automata (1970), University of Illinois: University of Illinois Urbana, IL · Zbl 0228.94013 [7] Campbell, D. E., Social choice and intensity of preference, J. Political Economy, 81, 211-218 (1973) [8] Chaitin, G. J., Randomness and mathematical proof, Sci. Amer., 232, 47-52 (1975) [9] Chaitin, G. J., Algorithmic information theory, IBM J. Res. Development, 21, 350-359 (1977) · Zbl 0362.94035 [10] Davis, M., The Undecidable (1965), Raven: Raven Hewlett, NY [11] Hopcroft, J. E.; Ullman, D., Formal Languages and Their Relation to Automata (1969), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0196.01701 [12] Ginzburg, A., Algebraic Theory of Automata (1962), Academic: Academic New York [13] Gödel, K., Formally Undecidable Propositions (1962), Basic Books: Basic Books New York · Zbl 0124.00403 [14] Gödel, K., Über Formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik, 38, 173-198 (1931) · JFM 57.0054.02 [15] Hofstadter, D. R.; Gödel; Escher, Bach: An Eternal Golden Braid (1979), Basic Books: Basic Books New York [16] Kac, M.; Ulam, S., Mathematics and Logic (1969), Mentor: Mentor New York · Zbl 0205.28901 [17] Krohn, K. B.; Rhodes, J. L., Algebraic theory of machines, Trans. Amer. Math. Soc., 116, 450-464 (1965) · Zbl 0148.01002 [18] Minsky, M., Computation, Finite and Infinite Machines (1967), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0195.02402 [19] Nagel, E.; Newman, J. R., Gödel’s Proof (1958), New York University Press: New York University Press New York · Zbl 0086.24602 [20] Simon, H., Rationality as process and as product of thought, Amer. Econom. Rev., 68, 1-16 (1978) [21] Thatcher, J. W., Self-describing Turing machines and self-reproducing cellular automata, (Burks, Essays on Cellular Automata (1970), University of Illinois: University of Illinois Urbana, IL) · Zbl 0235.02034 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.