[kleiba]

his proof that a neural network can not be trained in any way to "learn" the exclusive-or logical function

What you mean is a neural network without hidden layers.