I was joking with @johncarlosbaez recently about listening to intuitionistic music (instead of classical). Turns out it's real! "In the ... 1970s, a young composer working at the electronic music studio in Stockholm, named at the time Christer Hennix, found that Brouwer’s intuitionist mathematics had a practical yet rigorous philosophical application: for electronic music and the search for elevated experience". https://www.frieze.com/article/room-sound-objects-abstractions-art-catherine-christer-hennix #CatherineChristerHennix #Brouwer #IntuitionisticLogic