Church-Turings hypotes ⇢ – se Alonzo Church† och Alan Turing†. [datorvetenskap] [matematik och logik]