Art

Gödel, Escher, Bach

2019-08-08 · 1,185 views · license: CC BY-NC 2.0

Gödel, Escher, Bach — pen and ink drawing by Daniel Ari Friedman. "To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r
Gödel, Escher, Bach — pen and ink drawing

Description

"To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r)." – Kurt Gödel, Proposition VI, "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I" (1931).

"Like all music, the figured bass should have no other end and aim than the glory of God and the recreation of the soul; where this is not kept in mind there is no true music, but only an infernal clamour and ranting." – Johann Sebastian Bach

"Now, I should like to say something else to you about the connection with music, primarily that of Bach, i.e. the Fugue or, put more…

Full description on the Flickr photo page.

Related Works