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

Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl +1

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.