Program Notes
Girard’s paradox demonstrates the inconsistency of dependent type theory when the type of Type is Type, adapting the Burali-Forti paradox of ordinals. As the paradox term is of type False, it cannot reduce to a normal form. Its computational behavior is instead endless growth.
This performance presents the small-step evolution of Girard’s paradox (in Hurkens’s simplification) visually and as synth tones, using a program developed for this translation. The parameters of the translation are altered as it goes. It is inspired by the music of Iannis Xenakis and Catherine C. Hennix.
About the Artist
Isidore Mohr is a two-time FARM performer and co-organizer (with Claire Wang) of Composition, an art event series for connections between art, mathematics, and computation. Their work is influenced by the music and writing of Iannis Xenakis, Catherine C. Hennix, Henry Flynt, and Sun Ra.
Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change
19:30 - 21:00 | |||
19:30 45mKeynote | Sonification as (vs.) Program Music (Keynote) FARM Stephen A. Taylor University of Illinois Urbana-Champaign DOI | ||
20:15 5m | Girard's Paradox: Progression FARM Isidore Mohr None | ||
20:25 5m | Algorithmic Composition in Prismriver FARM | ||
20:30 10m | Shadows' Resonance FARM Hongshuo Fan TAMU | ||
20:40 5m | Untitled 23 FARM Dmitri Volkov Indiana University | ||
20:45 9m | Oscillectics FARM | ||
20:54 6m | Kaleidophone in Digital for Algorithmic Composition and Visualization FARM | ||