Mathematics and computation are deeply entangled.

Set theory is consistent if and only if a certain Turing machine halts.

Source: www.complex-systems.com/abstracts/v25_i04_a04/