Talk:Classification theorem
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Clarify; find reference
[edit]complete set of invariants: invariants, e.g. a number, a cohomology group, a characteristic class, etc. can always tell objects apart, i.e. when two objects have different invariant the objects themselves are never in the same equivalence class, but in general not vice versa; a complete (set of) invariants are the ones that strengthens this condition to equivalence (from single-direction implication); e.g. "complete knot invariant", or more trivially just the objects themselves.
realizable: are they talking about https://ncatlab.org/nlab/show/realizability?
computable: they might be talking informally about "the invariants are easy to know", or in the sense of Computability theory. Fourier-Deligne Transgirl (talk) 03:01, 7 December 2023 (UTC)