It seems to me that there is no difficulty in using it to model fixed functions {0,1}^n -> {0,1}^m .
I don’t know for sure that all such functions can be learned reasonably efficiently, but I do know that there are feedforward standard neural nets which, with some weights, can approximate any such function arbitrarily closely.
But, again, I’m not saying that these functions can be learned effectively by backprop, idk if they can be.
Are these functions examples of relations you would say aren’t differentiable.
I’m confident that SOME of these functions can be learned by backprop, but I don’t know what would make these ones “more differentiable” than others, So, I don’t see how differentiability could be the obstacle here?
But I may be misunderstanding.