使用Player FM应用程序离线!
474: It's All Chaos and Horror
Manage episode 410744714 series 1946414
Logic gates and origami? Professor Inna Zakharevich joined us to talk about Turing complete origami crease patterns.
We started talking about Turing completeness which led to a Conway’s Game of Life-like 2D cellular automaton called Rule 110 (Wikipedia) which can be implemented with logic gates (AND, OR, NOT). These logic gates can be implemented as creases in paper (with the direction of the crease indicating 0 or 1).
The paper describing the proof is called Flat Origami is Turing Complete (arxiv and PDF). Quanta Magazine has a summary article: How to Build an Origami Computer.
Inna’s page at Cornell University also has the crease patterns for the logic gates (pdf).
Inna is an aficionado of the origami work by Satoshi Kamiya who creates complex and lifelike patterns.
Some other origami mentioned:
Origami Stegosaurus by John Montroll YouTube Folding video (Part 1 of 3)
Ilan Garibi’s Pineapple Tessellation (PDF instructions)
Eric Gjerde Spread Hex Origami Tessellation (This also has the equilateral triangle grid needed to fold Inna’s gate logic)
Amanda Ghassaei’s Origami Simulator (Mooser’s is under Examples->Origami)
Some other math mentioned:
Veritasium’s Math's Fundamental Flaw talks about Goerthe’s Incompleteness Theorem
Physical Logic Game: Turing Tumble - Build Marble-Powered Computers
Mathematics of Paper Folding (Wikipedia)
332集单集
Manage episode 410744714 series 1946414
Logic gates and origami? Professor Inna Zakharevich joined us to talk about Turing complete origami crease patterns.
We started talking about Turing completeness which led to a Conway’s Game of Life-like 2D cellular automaton called Rule 110 (Wikipedia) which can be implemented with logic gates (AND, OR, NOT). These logic gates can be implemented as creases in paper (with the direction of the crease indicating 0 or 1).
The paper describing the proof is called Flat Origami is Turing Complete (arxiv and PDF). Quanta Magazine has a summary article: How to Build an Origami Computer.
Inna’s page at Cornell University also has the crease patterns for the logic gates (pdf).
Inna is an aficionado of the origami work by Satoshi Kamiya who creates complex and lifelike patterns.
Some other origami mentioned:
Origami Stegosaurus by John Montroll YouTube Folding video (Part 1 of 3)
Ilan Garibi’s Pineapple Tessellation (PDF instructions)
Eric Gjerde Spread Hex Origami Tessellation (This also has the equilateral triangle grid needed to fold Inna’s gate logic)
Amanda Ghassaei’s Origami Simulator (Mooser’s is under Examples->Origami)
Some other math mentioned:
Veritasium’s Math's Fundamental Flaw talks about Goerthe’s Incompleteness Theorem
Physical Logic Game: Turing Tumble - Build Marble-Powered Computers
Mathematics of Paper Folding (Wikipedia)
332集单集
Kaikki jaksot
×欢迎使用Player FM
Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。