You're not getting it. A "CanBeRegex" function which (always) correctly indicate... | Hacker News

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

gweinberg on Nov 25, 2022 | parent | context | favorite | on: Rice’s Theorem: An interactive tutorial

You're not getting it. A "CanBeRegex" function which (always) correctly indicates whether a code block could be replaced by a regex MUST be able to solve the halting problem. The same is not true for addition.

constantcrying on Nov 25, 2022 [–]

You are not getting it. What you are saying is not what the author says.

I know what the author wants to say, but it isn't what he actually says.

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