Talk:Classification theorem

Mathematics Start‑class Mid‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Mid	This article has been rated as Mid-priority on the project's priority scale.

Clarify; find reference

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)[reply]