This text covers the connection between algebraic K-theory and Bokstedt, Hsiang and Madsen's topological cyclic homology and proves the difference between the theories are locally constant. It contains a proof of the integral Goodwillie ICM 1990 conjecture.