The thing is that the gulf between CT and other branches of math is also there. CT maybe be generally capable of specifying any given problem but the further yo

The thing is that the gulf between CT and other branches of math is also there. CT maybe be generally capable of specifying any given problem but the further you branch away from it the more convenient it is for individuals to use a more domain specific language. The simple fact is that CT is not a linga franca no matter how much advocates would like it to be.