This seems to weirdly ignore the halting problem and other parts of mathematics ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pixl97 on Feb 16, 2023 | parent | context | favorite | on: Does mathematics need a philosophy?

This seems to weirdly ignore the halting problem and other parts of mathematics that can never be complete in our universe.

srcreigh on Feb 16, 2023 [–]

The halting problem itself is not computable, that doesn’t mean the proof that it’s not computable isn’t itself computable.

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