cannot prove whether a particular piece of Bach, Tallis or Grieg is non-computable because we don't know the speci