TY - RPRT TI - A subset of Z^n whose non-computability leads to the existence of a Diophantine equation whose solvability is logically undecidable AU - Apoloniusz Tyszka PY - 2012 UR - https://arxiv.org/abs/1107.5608 ID - 1107.5608 ER -