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.
| Originalsprache | Deutsch |
|---|---|
| Titel | Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts |
| Redakteure/-innen | Stefania Centrone, Deborah Kant, Deniz Sarikaya |
| Seitenumfang | 20 |
| Erscheinungsort | Cham |
| Herausgeber (Verlag) | Springer International Publishing AG |
| Erscheinungsdatum | 2019 |
| Seiten | 417-436 |
| ISBN (Print) | 978-3-030-15655-8 |
| Publikationsstatus | Veröffentlicht - 2019 |
UN SDGs
Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung
