Za kompaktan skup u euklidskom prostoru kažemo da je izračunljiv ako ga možemo efektivno po volji dobro aproksimirati s konačno mnogo točaka koje imaju racionalne koordinate. S druge strane, za kompaktan skup ćemo reći da je slabo izračunljiv ako mu se komplement može efektivno prekriti otvorenim kuglama. Svaki izračunljiv skup je i slabo izračunljiv, no obratno ne mora vrijediti. Ipak obrat vrijedi uz neke pretpostavke topološke prirode. U ovom predavanju će biti govora o ulozi koju u tom smislu imaju višedimenzionalni lanci i sferni lanci.
