How to Frame a Mathematician

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

doi:10.1007/978-3-030-15655-8textunderscore 19

How to Frame a Mathematician

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

History, Archeology, Arts, Philosophy and Ethics

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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 language	English
Title of host publication	Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
Editors	Stefania Centrone, Deborah Kant, Deniz Sarikaya
Place of Publication	Cham
Publisher	Springer International Publishing AG
Pages	417-436
Number of pages	20
ISBN (Print)	978-3-030-15655-8
DOIs	https://doi.org/10.1007/978-3-030-15655-8textunderscore 19
Publication status	Published - 2019

Access to Document

10.1007/978-3-030-15655-8textunderscore 19

Cite this

@inbook{66901f7c81ac46a3b62cbc0639d192e6,

title = "How to Frame a Mathematician",

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.",

author = "Bernhard Fisseni and Deniz Sarikaya and Martin Schmitt and Bernhard Schr{\"o}der",

year = "2019",

doi = "10.1007/978-3-030-15655-8textunderscore 19",

language = "English",

isbn = "978-3-030-15655-8",

pages = "417--436",

editor = "Stefania Centrone and Deborah Kant and Deniz Sarikaya",

booktitle = "Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts",

publisher = "Springer International Publishing AG",

address = "Switzerland",

}

How to Frame a Mathematician. / Fisseni, Bernhard; Sarikaya, Deniz; Schmitt, Martin; Schröder, Bernhard.

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. ed. / Stefania Centrone; Deborah Kant; Deniz Sarikaya. Cham : Springer International Publishing AG, 2019. p. 417-436.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - How to Frame a Mathematician

AU - Fisseni, Bernhard

AU - Sarikaya, Deniz

AU - Schmitt, Martin

AU - Schröder, Bernhard

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-15655-8textunderscore 19

DO - 10.1007/978-3-030-15655-8textunderscore 19

M3 - Chapter

SN - 978-3-030-15655-8

SP - 417

EP - 436

BT - Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts

A2 - Centrone, Stefania

A2 - Kant, Deborah

A2 - Sarikaya, Deniz

PB - Springer International Publishing AG

CY - Cham

ER -

How to Frame a Mathematician

Abstract

Access to Document

Fingerprint

Cite this