Jan 11, 2022, 9:25:41 PMJan 11
As far as I am concernedc Alan Turning's halting problem proof is wrong.
Alan did not consider self-modifieing code.
Machine H can modify machine H+ when H+ is fed into machine H and thus machine H can prevent machine H+.
Therefore machine H+ can never exist in machine H's world ! HAHA.