Comment by GoblinSlayer

10 days ago

Gödel and halting problem don't apply to real programs, because they don't need to be accurate: they can reject correct code.

0 comments