File:Can each number be specified by a finite text?.pdf