Life Numbers - constructivists,
Brouwer,
non-constructionalist proof, excluded middle,
return