paradoxes making foundations mathematics economic conceptually eliminating notion variables thus clarifying role mathematics recursive functions computation consists mu recursive function ''ie'' defining sequence input value sequence recursive functions appearing defining sequence inputs outputs thus defining sequence recursive function math f x math functions math g x math math h xy math appear terms form 'g ' 'h ' might appear entry sequence needs application basic function follow entries
Formal science Computer science Theory of computation