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

https://halshs.archives-ouvertes.fr/halshs-02496875
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

Identifiers

Citation

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⟩

Share

Metrics

Record views

87