It is a bit hard to know what exactly he means by "socitech", but I don't think it the same as what you mean by "social". Things like writing maintainable code isn't provable, but something requires subjective considerations. Most of that knowledge doesn't come from math, but areas like systems thinking. Which is more towards social sciences.