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 https://ne

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 https://news.ycombinator.com/item?id=6119587