Non-computability of <i>K</i> -theory for computably presented C <sup>*</sup> -algebras
We give an example of a unital C * -algebra A with a computable presentation and for which neither 0 (A) nor 1 (A) has a computable presentation.Proposition 1.1 There is no computable presentation of the group .
Authors
- Isaac Goldbring (ORCID: https://orcid.org/0000-0003-0341-0251)
- Christopher J. Eagle (ORCID: https://orcid.org/0000-0002-5428-7364)
- Timothy H. McNicholl (ORCID: https://orcid.org/0000-0001-8334-4367)
- Russell Miller (ORCID: https://orcid.org/0000-0001-5454-6736)
Publication Details
- Journal
- Canadian Mathematical Bulletin
- Published
- 2026-05-29
- DOI
- https://doi.org/10.4153/s0008439526102094
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation
- American Institute of Mathematics
- City University of New York
- Natural Sciences and Engineering Research Council of Canada