in a supertask that finishes after an hour. If, additionally, the machines create a communication link between parent and child machine that yields successively faster bandwidth and the machines are capable of simple arithmetic, the machines can be used to perform brute-force proofs of unknown conjectures. However, Davies also points out that due to fundamental properties of the real universe such as quantum mechanics, thermal noise and information theory his machine can't actually be built. See also References External links Article on Supertasks in Stanford Encyclopedia of Philosophy Supertasks - Vsauce (YouTube) The Infinity Machine Concepts in logic Hypercomputation Supertasks