the highest number of comments I've ever gotten

This last post of mine got the highest number of comments I've ever gotten.

Thanks to Henrik for challenging my point of view, and to mathemajician for inspiring my discussion with Henrik.

Thanks to all you LJ guys for the comments.

Finally, thanks to Benedikt Loewe for this reference. How come everyone else missed it?

In the 1940s, Markov came up with the idea of 'constructive recursive mathematics'. This is based on a very productive and rich subfield of mathematical logic called 'recursive mathematics'