@metakritik_ não sou da matemática nem da lógica rs, mas se não me engano ele teve uma afinidade com o intuicionismo e a fenomenologia por volta dos anos 30, pra desagrado do círculo de viena, mas depois se afastou. a biografia que o Monk escreveu sobre ele detalha essa parte