discussion: Does there exist an ontology for algorithms?

Here is the link.

keywords:

[Theoretical Computer Science]

[algorithmic complexity theory]

[Kolmogorov complexity]

[representations of programs]