News for hackers. Stuff that matters.
Re:How has mathematics gotten so abstract? by zozbot234 on Tuesday September 30, 2025 @04:34PM (#45430887)
That argument ought to convince you that there's a mere "possible world" where that bank account turns out to exist. Sometimes we are implicitly interested in these special-cased "possible worlds", even though they'll involve conditions that we aren't quite sure about. Non-constructive existence is nothing more than a handy way of talking about such things, compared to the constructively correct "it's not the case that the existence of X is always falsified".
Re:How has mathematics gotten so abstract? by btilly on Tuesday September 30, 2025 @05:28PM (#45431472)
It would be weird for a constructivist to be interested in a possible world that they don't believe exists.

Theoretically possible? Sure. But the kinds of questions that lead you there are generally in opposition to the kinds of principles that lead someone to prefer constructivism.