New methods for proving the impossibility to solve problems through reduction of problem spaces | Publicación