6 found
Order:
See also
Deniz Sarikaya
Universität Hamburg
  1.  26
    Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Springer Verlag.
    This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  2
    How to Frame a Mathematician.Bernhard Schröder, Martin Schmitt, Deniz Sarikaya & Bernhard Fisseni - 2019 - 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.
    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 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  7
    How to Frame Understanding in Mathematics: A Case Study Using Extremal Proofs.Merlin Carl, Marcos Cramer, Bernhard Fisseni, Deniz Sarikaya & Bernhard Schröder - 2021 - Axiomathes 31 (5):649-676.
    The frame concept from linguistics, cognitive science and artificial intelligence is a theoretical tool to model how explicitly given information is combined with expectations deriving from background knowledge. In this paper, we show how the frame concept can be fruitfully applied to analyze the notion of mathematical understanding. Our analysis additionally integrates insights from the hermeneutic tradition of philosophy as well as Schmid’s ideal genetic model of narrative constitution. We illustrate the practical applicability of our theoretical analysis through a case (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  71
    Mathematizing as a Virtuous Practice: Different Narratives and Their Consequences for Mathematics Education and Society.Deborah Kant & Deniz Sarikaya - 2020 - Synthese 199 (1-2):3405-3429.
    There are different narratives on mathematics as part of our world, some of which are more appropriate than others. Such narratives might be of the form ‘Mathematics is useful’, ‘Mathematics is beautiful’, or ‘Mathematicians aim at theorem-credit’. These narratives play a crucial role in mathematics education and in society as they are influencing people’s willingness to engage with the subject or the way they interpret mathematical results in relation to real-world questions; the latter yielding important normative considerations. Our strategy is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. 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.
    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 (...)
     
    Export citation  
     
    Bookmark   1 citation  
  6.  14
    Mathesis Universalis, Computability and Proof.Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    In a fragment entitled Elementa Nova Matheseos Universalis Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark