The reason for this is that the proposition stating that a certain program will halt given a certain input can be converted into an equivalent statement about natural numbers.
Ο λόγος είναι ότι η πρόταση που δηλώνει ότι ένα συγκεκριμένο πρόγραμμα θα σταματήσει δοθείσης συγκεκριμένης εισόδου μπορεί να μετατραπεί σε μια ισοδύναμη πρόταση σχετική με φυσικούς αριθμούς.