En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la función recursiva, e impartió una conferencia sobre dichas funciones y sobre el concepto de verdad.