Rózsa Péter published a series of papers grounding recursion theory as a separate area of mathematical research, setting the foundation for theoretical computer science.