Two questions out of curiosity: * Do you also reject Church's more formal proof? * Do you more generally reject the rule of the excluded middle and would you

Two questions out of curiosity: * Do you also reject Church's more formal proof? * Do you more generally reject the rule of the excluded middle and would you generally think of yourself as a Constructivist?