How to Frame a Mathematician

In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 417-436 (2019)


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.

Download options


    Upload a copy of this work     Papers currently archived: 72,694

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

2 (#1,458,884)

6 months
1 (#388,319)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Deniz Sarikaya
Vrije Universiteit Brussel

References found in this work

No references found.

Add more references

Similar books and articles

How to Frame a Mathematician.Bernhard Schröder, Martin Schmitt, Deniz Sarikaya & Bernhard Fisseni - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Barwise's Information Frames and Modal Logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Recursive Logic Frames.Saharon Shelah & Jouko Väänänen - 2006 - Mathematical Logic Quarterly 52 (2):151-164.
Frames and Concepts in the Philosophy of Science.Stephan Kornmesser - 2018 - European Journal for Philosophy of Science 8 (2):225-251.
Maps and Monads for Modal Frames.Robert Goldblatt - 2006 - Studia Logica 83 (1-3):309-331.
Audience Role in Mathematical Proof Development.Zoe Ashton - 2020 - Synthese 198 (Suppl 26):6251-6275.
Proof and Canonical Proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.