He might have some sort of cognitive abnormality, but at this point who cares what it is? He's Donald freaking Knuth.