absolutely, it's at the boundary. I think Brouwer's work in topology and intuitionistic logic is a good example of this interplay