  Within an axiomatic framework, we investigate the possibility of
hypercomputation in special relativity via faster than light signals. We
formally show that hypercomputation is theoretically possible in special
relativity if and only if there are faster than light signals.
