If they are broken by another piece of logic then they can't be proven to not te... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lgas on March 9, 2018 | parent | context | favorite | on: Elementary Knightship found in Conway's Game of Li...

If they are broken by another piece of logic then they can't be proven to not terminate.

falcor84 on March 9, 2018 [–]

Well, this is part of the fun the halting problem - this can be proven to terminate in some cases but not in general

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact