×

The metalogic of economic predictions, calculations and propositions. (English) Zbl 0503.90028


MSC:

91B99 Mathematical economics
03B25 Decidability of theories and sets of sentences
PDFBibTeX XMLCite
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.