This kind of thinking (that I actually quite like) presupposes the existence of abstract mathematical facts, but I’m at loss figuring out in what part of the territory are they stored, and if this is a wrong question to ask, what precisely does it make it so.
Does postulating their existence buy us anything else than TDT’s nice decision procedure?
This kind of thinking (that I actually quite like) presupposes the existence of abstract mathematical facts, but I’m at loss figuring out in what part of the territory are they stored, and if this is a wrong question to ask, what precisely does it make it so.
Does postulating their existence buy us anything else than TDT’s nice decision procedure?
I can infer stuff about mathematical facts, and some of the facts are morally relevant. Whether they “exist” is of unclear relevance.