Talk:Philosophy of computer science

Doesn't halting problem (computer science) relate to Godel incompleteness?