I had exactly the same reaction, which prompted me to write this comment: https:...

mreid 16 days ago | parent | context | favorite | on: What does “Undecidable” mean, anyway

I had exactly the same reaction, which prompted me to write this comment: https://news.ycombinator.com/item?id=44122045