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.
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.