Computational Origami

on YouTube ↗32m

" summary

Starts from seven folding axioms and shows concrete constructions: addition from distances, solves general cubic by using the Belov fold that yields up to three crease solutions, and a two‑fold proof that √2 is irrational. A custom Python library simulates folds, returns line equations (plotting done manually), and reproduces the paper results. Demonstrates multifold alignments that, in principle, multifold gives all real roots of higher‑degree polynomials and cites Gallivan’s 12 folds and kilometer‑long strip as a surprising real‑world detail.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 1:12Introduction to Origami
3. 5:15Folding Axioms
4. 14:08Origami Geometry
5. 16:45Solving Cubic Equations
6. 20:07Multifold axioms
7. 23:02Origami proof
8. 25:09Pi
9. 27:42Wrap up

" related talks

• 22mFold, paper, scissors - an exploration of origami's fold and cut problemAmy Wibowo · Strange Loop 2016
• 36mOrigami Software from ScratchRobby Kraft · Strange Loop 2017
• 38mMaths for Programming, Fun, and CreativityDave Gurnell, Noel Welsh · Lambda World 2017
• 32mFrom Geometry to Algebra and Back Again: 4000 Years of PapersJack Rusher · PWLConf 2023
• 30mSymmetries of ThingsTom Hall · :clojureD 2017
• 49mFunctional geometry: picture combinators and recursive fishEinar W. Høst · Build Stuff 2017
• 54mMaking things with mathsSteven Wittens · Web Directions Code 2013
• 32mFrom Geometry to Algebra and Back Again: 4000 Years of PapersJack Rusher · Strange Loop 2023