An erroneous attempt to solve a decidable problem as undecidable