Tags: #todo/want-to-know #projects What are all of the applications of K-theory in topology? Wall’s finiteness obstruction Kummer-Vandiver conjecture