How to Frame a Mathematician: Modelling the Cognitive Background of Proofs

Bernhard Fisseni, Deniz Sarikaya, Martin Schmitt, Bernhard Schröder

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

7 Citations (Scopus)

Abstract

Frames are a concept in knowledge representation that explains how the receiver, using background information, completes the information conveyed by the sender. This concept is used in different disciplines, most notably in cognitive linguistics and artificial intelligence. This paper argues that frames can serve as the basis for describing mathematical proofs. The usefulness of the concept is illustrated by giving a partial formalisation of proof frames, specifically focusing on induction proofs, and relevant parts of the mathematical theory within which the proofs are conducted; for the latter, we look at natural numbers and trees specifically.

Original languageEnglish
Title of host publicationSynthese Library
PublisherSpringer Science and Business Media B.V.
Pages417-436
Number of pages20
ISBN (Electronic)978-3-030-15655-8
ISBN (Print)978-3-030-15654-1
DOIs
Publication statusPublished - 2019

Publication series

NameSynthese Library
Volume407
ISSN (Print)0166-6991
ISSN (Electronic)2542-8292

Bibliographical note

Publisher Copyright:
© 2019, Springer Nature Switzerland AG.

Fingerprint

Dive into the research topics of 'How to Frame a Mathematician: Modelling the Cognitive Background of Proofs'. Together they form a unique fingerprint.

Cite this