~/talk

Keynote: How to bake "How to Bake Pi"

Talkat Typelevel Summit Oslo 2016 · on Wednesday, 2016-05-04· [functional-programming]
links:none on file
slides:none on file

Argues that abstraction turns different problems into the same structure and demonstrates it with concrete experiments: drawing a braid diagram for a Bach prelude to follow four voices, using long‑exposure juggling photos to match that braid, showing the factors of 30 form the vertices of a cube, and encoding groups as Battenberg cakes and iterated Battenberg (the Cayley table visualized). Uses paper models and a 3D‑printed sculpture that assembles into a cube/tree, recipes and photography as tools, and claims these methods convince non‑mathematicians that category theory actually helps.

AI-written summary · about

  1. 0:00Introduction
  2. 1:08The Purpose of Abstraction
  3. 3:28Math as Conservation
  4. 5:28Cooking and Mathematics
  5. 7:03Defining Mathematics
  6. 9:53Bach and Visualization
  7. 14:06Braids and Higher Dimensions
  8. 15:15Juggling and Braids
  9. 17:43Hair and Mathematics
  10. 19:44Factors of Thirty
  11. 22:14Geometry of Numbers
  12. 23:53Math Education
  13. 25:17Knot Theory and Algebra
  14. 27:24Applying Math to Music
  15. 30:21Battenberg Cake Math
  16. 32:54Matrix and Group Theory
  17. 36:29Iterated Structures
  18. 38:48Trees and Associativity
  19. 42:32Custard and Recipes
  20. 46:12Final Structure Analysis
  21. 48:53Category Theory Conclusion
  22. 51:08Q&A and Discussion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.