I'm not sure why you'd think I disagree. It seems you understood I argued that it's unhelpful to make the distinction between math and "conventional" math

But I'll refer you to a longer conversation if it helps https://news.ycombinator.com/item?id=43872687