It’s clearly true in The Natural Numbers. It’s not provable because in some mode... | Hacker News

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

czgov 80 days ago | parent | context | favorite | on: How Gödel's Proof Works (2020)

It’s clearly true in The Natural Numbers. It’s not provable because in some model it’s false. Being clearly true in one model does not make it provable.

jojomodding 80 days ago [–]

Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact