I know that neural nets have been proven to be Universal Turing
Machine, but has has it actually been demonstrated that they are, in
fact, capable of multiplication, division, and loops as other
Universal Turing Machines are?  Information and/or sites on this would
be much appreciated.