http://tkvpzft7j37qaifqrjwwsaa6cq2vr2ms6idongssc53k7svhxs342jad.onion
Die Äquivalenz von (A) und (B) wurde bewiesen. Die Äquivalenz zu (C) wird vermutet. Diese Vermutung wird Church-Turing-Hypothese genannt und gilt als erwiesen. [2] Die meißten Computer-Programme werden in Textform verfasst.