The foundations of mathematics as a study of life: an effective but non-recursive function