Non-computability of $K$-theory for computably presented C*-algebras

arXiv:2602.06877v2 Announce Type: replace Abstract: We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.

🔗 Read more: https://arxiv.org/abs/2602.06877

#News #Math #Policy #Academic