Metadata
Author: Literature
Data
English[en]
It is algorithmically undecidable whether a Turing machine (given by its description) halts on the empty input.
Hungarian[hu]
Algoritmikusan eldönthetelen, hogy egy (leírásával adott) Turing-gép az üres bemeneten véges időben megáll-e.