"There are some things in computing that are undecidable."