I think about how the proof is “using” something. This seems common among mathematicians.
That’s where abstract mathematical concepts come from: you use only certain properties of an object in a proof, and thus the proof applies to all objects that have those properties, no matter what other properties they have, and the properties that were used define an abstraction of their own. This way, apples become numbers.
That’s where abstract mathematical concepts come from: you use only certain properties of an object in a proof, and thus the proof applies to all objects that have those properties, no matter what other properties they have, and the properties that were used define an abstraction of their own. This way, apples become numbers.
Nice. Same applies for extracting interfaces in programming (e.g. IComperable).
Presumably IComperable is the interface implemented by objects representing staged events such as concerts, galas, and quizzes.