1953 йылда Колмогоров математика логикаһы бүлегендә алгоритм төшөнсәһендә яңы билдәләмә тәҡдим итә, уның ярҙамында проблема ла һәм уны хәл итеү юлдары ла бер үлсәмле топологик комплекс менән сиселә. Шул уҡ ваҡытта В.xa0А.xa0Успенский, Колмогоровтың билдәләмәһе иҫәпләү функцияһының өлөшләтә рекурсив булыуын асыҡлауға тиң, тип иҫәпләй.