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

Yeah, you nailed it. He's in metamathematics and doesn't realize it.

I elucidate it in another comment: https://news.ycombinator.com/item?id=6119587




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

Search: