The Undecidable Blues

I wrote the following lyrics years ago, when I was doing my Maths degree. My friend, occasional collaborator and Dream London crimelord, John “Daddio” Clarke, has put them to music: listen here

The Undecidable Blues
by Tony Ballantyne

Woke up this morning, aware of my own inherent limitations
I said I woke up this morning, aware of my own inherent limitations
The fact that I can't prove them is one of those persistent aggravations

My baby makes these statements that are true, but unprovable
I said my baby makes these statements that are true, but unprovable
I ask her to explain herself but my baby is immovable

The way my baby's treating me don't demonstrate no consistency
You know the way my baby's treating me don't demonstrate no consistency
I say it's axiomatic: that my baby is a mystery

I said: "Baby won’t you tell me, you don't give me no clues
I’m riven by uncertainty, I don’t know how to choose"

I've got them Gödel's incompleteness theorem blues