Rogers (1967) has suggested that a key property of recursion theory is that its results and structures should be invariant under computable bijections on the natural numbers (this suggestion draws on the ideas of the Erlangen program in geometry).
Ο Rogers (1967) πρότεινε ότι μια βασική ιδιότητα της θεωρίας αναδρομής είναι ότι τα αποτελέσματα και οι δομές της θα πρέπει να αμετάβλητες στο πλαίσιο υπολογίσιμων συναρτήσεων για τους φυσικούς αριθμούς (η πρόταση αυτή εμπνέεται από τις ιδέες του προγράμματος Erlangen στη γεωμετρία).