Sets and Numbers are both much more central to our most basic beliefs than groups. Without an algorithmic way of determining truths about sets we may well have to adopt complete nominalism in our ontology, and interpreting modern science so as to be consistent with a nominalist ontology is no easy task.
Sets and Numbers are both much more central to our most basic beliefs than groups. Without an algorithmic way of determining truths about sets we may well have to adopt complete nominalism in our ontology, and interpreting modern science so as to be consistent with a nominalist ontology is no easy task.