Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics

Danny de Jesús Gómez-Ramírez, Alan Smaill

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Abstract / Description of output

We claim that conceptual blending plays a key role in mathematical discovery and invention. We use a formalisation of blending in terms of colimits of many-sorted first-order logical specifications to illustrate the processes involved. In particular we present a development structured around notions from abstract areas of pure mathematics such as Commutative Algebra, Number Theory, Fields and Galois Theory. This development shows a new formal route which builds up the classical theory in the area, and also gives rise to new equivalences that characterise the notion of Dedekind Domain. We comment on the significance of this work for the computer support of abstract mathematical theory construction, as well as for (co-)inventing classic and new mathematical notions (i.e., inventing with the help of a computer program), and on the cognitive aspects involved.
Original languageEnglish
Title of host publicationConcept Invention
Subtitle of host publicationFoundations, Implementation, Social Aspects and Applications
PublisherSpringer, Cham
Number of pages19
ISBN (Electronic)978-3-319-65602-1
ISBN (Print)978-3-319-65601-4
Publication statusPublished - 6 Oct 2018


Dive into the research topics of 'Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics'. Together they form a unique fingerprint.

Cite this