How to Frame a Mathematician

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

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.
OriginalspracheDeutsch
TitelReflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
Redakteure/-innenStefania Centrone, Deborah Kant, Deniz Sarikaya
Seitenumfang20
ErscheinungsortCham
Herausgeber (Verlag)Springer International Publishing AG
Erscheinungsdatum2019
Seiten417-436
ISBN (Print)978-3-030-15655-8
PublikationsstatusVeröffentlicht - 2019

Zitieren