That unbelievable function that can compute EVERYTHING! An Adventure in Discrete Mathematics