[coolsdude2282]

But this was why I posed it as a question, everyone says this is somehow 'more interesting' but is that because it is actually qualitatively more interesting or are more interesting things coming out of it simply due to the fact that it is more popular quantitatively with researchers? If it is qualitatively more interesting, what about it makes it so?

I likened it to functional programming because finitism makes things interesting via its purity and restriction in an analogous way.

[eastWestMath]

But it's not similarly interesting, linear and intuitionistic logic are. Finitism is just kind of stupid.