It is more the halting problem than Gödel’s incompleteness theorems even if both related. Looks like a name droping.
It is more the halting problem than Gödel’s incompleteness theorems even if both related. Looks like a name droping.