Skip to Main content Skip to Navigation
Book sections

The nature of progress in mathematics: the significance of analogy

Abstract : Whereas logic was traditionally regarded as a critical tool for the foundation or for the theoretical clarification of concepts, it has become "an effective tool for mathematical research". In particular, model theory has transformed logic into an art of invention. Examples borrowed from Tarski's work are given, namely the definability of subsets of real numbers (1931), which led to the concept of semi-algebraic set, and the quantifier elimination, which is the source of remarkable transfer principles.
Complete list of metadata
Contributor : Hourya Benis Sinaceur <>
Submitted on : Tuesday, March 3, 2020 - 3:48:25 PM
Last modification on : Thursday, March 4, 2021 - 8:46:03 AM



Hourya Benis Sinaceur. The nature of progress in mathematics: the significance of analogy. Emily Grosholz; Herbert Breger. The Growth of Mathematical Knowledge, 289, Kluwer Academic Publishers, pp.281-293, 2000, Synthese Library, ISBN 0-7923-6151-2. ⟨10.1007/978-94-015-9558-2_19⟩. ⟨halshs-02496875⟩



Record views