Composed and Produced by Brian Ledwidge Flynn
Performed by The Engine Room Orchestra
Copyright 2023

𝕆𝕌𝕋𝕊𝕀𝔻𝔼ℝ ℂ𝕃𝔸𝕊𝕊𝕀ℂ𝔸𝕃 / 𝔸𝕄𝔹𝕀𝔼ℕ𝕋

|-  E. y A. z  e.  x  ( z  =/=  (/)  
->  E! w  e.  z  E. v  e.  y  (z  e.  v  /\  w  e.  v )

This is a piece of music arranged from midi information extracted  from the Theorem "THE AXIOM OF CHOICE EQUIVALANT' and uploaded to the Metamath website in 2000. 

As stated on the site:
The music is faithful to the original proofs. For example, the five sustained (lower) notes you will hear in the Law of Identity match, in order, the five steps of its proof, while the faster notes represent the construction of the formulas used in those steps.

I took this information and arranged it into a composition. The first of a series of THEOREMS arranged in such a fashion.

Brian Ledwidge Flynn
September 13th 2022
Dortmund
Germany

𝚃𝙷𝙴𝙾𝚁𝙴𝙼 #𝟷 • 𝙰𝚡𝚒𝚘𝚖 𝙾𝚏 𝙲𝚑𝚘𝚒𝚌𝚎 𝙴𝚚𝚞𝚒𝚟𝚊𝚕𝚎𝚗𝚝

composed and produced by Brian Ledwidge Flynn
Berlin/Dortmund
2022

𝙻𝚄𝙲𝙸𝙳𝙸𝚃𝚈 • 𝚏𝚘𝚛 𝚜𝚝𝚛𝚒𝚗𝚐 𝚝𝚛𝚒𝚘 𝚊𝚗𝚍 𝚏𝚘𝚞𝚗𝚍 𝚜𝚘𝚞𝚗𝚍

Composed and Produced by
Brian Ledwidge Flynn
Strings by The Engine Room Ensemble

𝙽𝚘𝚢𝚊𝚗𝚍𝚛 • 𝙵𝚘𝚛 𝚃𝚊𝚙𝚎 𝙿𝚛𝚘𝚌𝚎𝚜𝚜𝚎𝚍 𝚂𝚝𝚛𝚒𝚗𝚐 𝙴𝚗𝚜𝚎𝚖𝚋𝚕𝚎

Simple Parallax Rhythm Study 
BLF DORTMUND 2023

RIGHT BANK FIVE

Composed and Arranged by Paisley Grey 2023

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #14

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #11

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #7

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #6

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #5

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #4

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #2

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #1

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #10

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #17

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #8

MY HEAD IS GROWING BUT THE ROOM IS SHRINKING #21

Composed by Brian Ledwidge Flynn
Performed by the Engine Room Orchestra
Produced by Paisley Grey & Brian Ledwidge Flynn
2023

THE DAY AFTER YESTERDAY #4

Berlin Sessions in Mr. Dyers art studio.
2018-19

Composed and performed by
Brian Ledwidge Flynn and Ruben Dyers 
Engineering Dyers / Mixing Flynn

THE NIGHT WATCHMEN #4

THE NIGHT WATCHMEN #2

Composed and arranged by Brian Ledwidge Flynn
Essentially a variation on the theme from 'That old and dusty road'.

Using Stave Paper, Musescore 4 and logic X
www.Brianledwidgeflynn.de

WAX HEART • [STRING QUARTET]

ARTIST COLLECTIVE / DUBLIN / BERLIN / WEIMAR / DORTMUND

𝕆𝕌𝕋𝕊𝕀𝔻𝔼ℝ ℂ𝕃𝔸𝕊𝕊𝕀ℂ𝔸𝕃 / 𝔸𝕄𝔹𝕀𝔼ℕ𝕋

ᴍᴀɢɴᴇᴛɪᴄ ꜱᴛᴀᴛᴇ ᴄᴏʟʟᴇᴄᴛɪᴠᴇ