Abstract
It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures.
Similar content being viewed by others
References
Birkhoff, G.: 1969, ‘Mathematics and Psychology’,SIAM Review 11(4), 429–469.
Bundy, A.: 1983,Computer Modelling of Mathematical Reasoning, Academic Press, NY.
Dirac, P.: 1963, ‘The Evolution of the Physicist's Picture of Nature’,Scientific American 208(5), 45–53.
Hadamard, J.: 1949,An Essay on the Psychology of Invention in the Mathematical Field, Princeton U.P., Princeton.
Hardy, G. H.: 1948,A Mathematician's Apology, Cambridge.
Henley, D. S.: 1992, ‘Mathematical Intuition and Wittgenstein’, inNew Thinking about the Nature of Mathematics, School of Education, University of East Anglia, p. 39.
Huntley, H. E.: 1970,The Divine Proportion: A Study in Mathematical Beauty, Dover.
Kitcher, P.: 1984,The Nature of Mathematical Knowledge, O.U.P., Oxford.
Lakatos, I.: 1976,Proofs and Refutations, C.U.P., Cambridge.
Lenat, D.: 1982, ‘AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search’, inKnowledge Based Systems in Artificial Intelligence, McGraw-Hill, NY.
Lenat, D.: 1983, ‘EURISKO: A Program That Learns New Heuristics and Domain Concepts’,Artificial Intelligence 21, 61–98.
Minton, S., Carbonell, J., Knoblock, C., Kuokka, D., Etzioni, O., Gil, Y.: 1989, ‘Explanation-Based Learning: A Problem Solving Perspective’,Artificial Intelligence 40, 63–118.
Papert, S.: 1978, ‘The Mathematical Unconscious’, in Weschler (ed.),On Aesthetics in Science, MIT Press, Cambridge, Mass.
Penrose, R.: 1974, ‘The Role of Aesthetics in Pure and Applied Mathematical Research’,Bulletin of the Institute of Mathematics and its Applications 10(7/8), 266–271.
Penrose, R.: 1989,The Emperor's New Mind, Oxford, Chap 4.
Poincaré, H.: 1908,Science and Method, Thomas Nelson.
Polya, G.: 1954,Mathematics and Plausible Reasoning, Vol. I, O.U.P., Oxford.
Wittgenstein, L.: 1921,Tractatus Logico-Philosopohicus, RKP, London (1969).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Henley, D.S. Syntax-directed discovery in mathematics. Erkenntnis 43, 241–259 (1995). https://doi.org/10.1007/BF01128198
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01128198