BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Rem (Simuli\, Inc.)
DTSTART:20250328T153000Z
DTEND:20250328T163000Z
DTSTAMP:20260422T171846Z
UID:CompMath/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CompMath/12/
 ">Deconstructivist Mathematics</a>\nby Rem (Simuli\, Inc.) as part of Rela
 torium seminar\n\n\nAbstract\nI work as a mathematical developer and are c
 urrently interested in fully relational models of computations.\n\nIn this
  talk\, we will explore the relationship between mathematical intuition an
 d formal rigor\, delving into the philosophical and structural foundations
  of mathematics. The main aim is to examine the process of formalizing mat
 hematical intuitions\, highlighting how this process can itself be formali
 zed within a mathematical framework. The layers of abstraction offered by 
 Category Theory mirror the progression from computational to conceptual re
 asoning. We start from apparent dichotomies appearing in diverse fields of
  knowledge\, such as axiomatic versus structural foundations of mathematic
 s. We then go over the impact and implications of the crisis of foundation
 s\, the role of circularity in mathematical reasoning\, and the importance
  of fostering alternative approaches to learning and teaching mathematics.
  Through allegories\, metaphors\, and analogies\, we illustrate how mathem
 atical concepts can be represented and understood in different contexts\, 
 emphasizing the interconnectedness of mathematical ideas. We conclude by a
 dvocating for a holistic view of mathematics\, one that transcends traditi
 onal dichotomies and embraces the dynamic\, evolving nature of mathematica
 l thought.\n\nThis talk is aimed at both mathematicians and philosophers\,
  offering a deep dive into the structural and philosophical underpinnings 
 of mathematics\, while also providing practical insights into the developm
 ent and teaching of mathematical concepts.\n\nModerator: The talk will be 
 moderated by Nathan Haydon. Nathan is a philosopher working on methods of 
 reasoning in logic and science. Much of his work is inspired by Charles S.
  Peirce\, including Peirce’s pragmatism and Peirce’s formal developmen
 ts in diagrammatic logic. Along these lines\, Nathan has most recently bee
 n working on the logic of string diagrams. Finally\, Nathan is also intere
 sted in the broader ethical and meta-ethical positions that follow from sc
 ientific reasoning.\n
LOCATION:https://researchseminars.org/talk/CompMath/12/
END:VEVENT
END:VCALENDAR