Bulletin (New Series) of the American Mathematical Society

Computer modeling of scientific and mathematical discovery processes

Herbert A. Simon

Full-text: Open access

Article information

Source
Bull. Amer. Math. Soc. (N.S.) Volume 11, Number 2 (1984), 247-262.

Dates
First available in Project Euclid: 4 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.bams/1183552166

Mathematical Reviews number (MathSciNet)
MR752787

Subjects
Primary: 00A25

Citation

Simon, Herbert A. Computer modeling of scientific and mathematical discovery processes. Bull. Amer. Math. Soc. (N.S.) 11 (1984), no. 2, 247--262. https://projecteuclid.org/euclid.bams/1183552166.


Export citation

References

  • A. Barr and E. A. Feigenbaum (Editors), Handbook of artificial intelligence, Vol. 1, Kaufmann, Los Altos, Calif., 1981.
  • G. Bradshaw, P. Langley and H. A Simon, BACON.4. The discovery of intrinsic properties, Proc. Third National Conf. Canad. Soc. Computational Studies of Intelligence, 1980, pp. 19-25.
  • G. Bradshaw, P. Langley and H. A Simon, Studying scientific discovery by computer simulation, Science 222 (1983), 971-975.
  • S. C. Kleene, Introduction to metamathematics, Van Nostrand, Princeton, N. J., 1952.
  • K. Kotovsky and H. A. Simon, Empirical tests of a theory of human acquisition of concepts for sequential patterns, Cognitive Psychology 4 (1973), 399-424.
  • T. S. Kuhn, Black-body theory and the quantum discontinuity, 1894-1912, Oxford Univ. Press, N. Y., 1978.
  • P. W. Langley, Rediscovering physics with BACON. 3, Proc. Sixth Internat. Joint Conf. Artificial Intelligence, Vol. 1, Tokyo, 1979, pp. 505-507.
  • P. W. Langley, G. L. Bradshaw and H. A. Simon, Rediscovering chemistry with the BACON system, Machine Learning, An Artificial Intelligence Approach (R. S. Michalski, J. G. Carbonell and T. M. Mitchell, eds.), Tioga, Palo Alto, Calif., 1983.
  • P. W. Langley et al., Mechanisms for qualitative and quantitative discovery, Proc. Internat. Machine Learning Workshop (Urbana), Univ. of Illinois, 1983, pp. 121-132.
  • J. Larkin et al., Expert and novice performance in solving physics problems, Science 208 (1980), 1335-1342.
  • D. B. Lenat, Automated theory formation in mathematics, Proc. Fifth Internat. Joint Conf. Artificial Intelligence, 1977, pp. 833-842.
  • D. B. Lenat, EURISKO: A program that learns new heuristics and domain concepts, Search and Heuristics (J. Pearl, ed.), North-Holland, 1983.
  • A. Pais, 'Subtle is the Lord...' The science and life of Albert Einstein, Oxford Univ. Press, N. Y., 1982.
  • H. A. Simon, Models of thought, Yale Univ. Press, New Haven, Conn., 1979.
  • H. A. Simon and K. Kotovsky, Human acquisition of concepts for sequential patterns, Psychological Rev. 70 (1963), 534-536.
  • H. A. Simon, P. Langley and G. Bradshaw, Scientific discovery as problem solving, Synthese 47 (1981), 1-27.