Correction to A note on the Entscheidungsproblem — latest news, discussion & facts — IJR