Para ello aplicó el concepto de ‘definibilidad-lambda’, en vez del concepto de computabilidad por una máquina de Turing.