Revision #2373 → #3034 · back to history
addedTuring equivalence71226bb540ef
addedPost–Turing machinee06954ff0d23
addedAbacus counter machine modelb36c3333b1af
addedGödel numbering (as machine encoding)71288045c4b7
addedPartial recursive (mu-recursive) functions27f688d4dbba
addedAckermann function (as mu-recursive but not primitive recursive)d69da4d5fb87