Eventum investigationis

...of all halting Turing machines.gif|thumb|Copia [[machina Turing|machinarum Turing]] quarum programmata, ''x'' quodam dato, terminant est copia RE. Fac simul ...bus scripsit, ex quo theoria facultatis calculandi orta est. Quamquam, cum Turing vivebat, [[computatrum|computatra]] nondum inventa sunt, iam studens de nat ...