Post #1846795

@zwarich I see what you mean… I don't think, however, that anyone has really been benefitting from this truce. The truce doesn't matter either way to classical mathematicians, because they're doing classical mathematics. The truce, however, hobbles constructive mathematics very badly. I'm not exactly interested in fighting a war or getting one over on my "enemies", so the question of whether or not changing the terms of the deal will cause war to break out don't really affect me, because I'm not and don't intend to be at war. I'm more interested in everyone having the best possible tools to do the things that interest them. I think that constructive mathematicians need this particular tool more than classical mathematicians do, but everyone can benefit from it (in the same way that inaccessible cardinals do not have a "killer app" but they clarify a lot of things). So that should be factored in when one is deciding what "neutral *CONSTRUCTIVE* mathematics" should mean.