I see a bunch of papers about consciousness. I clicked on a random other paper about dyslexia and neural nets and found no math in it. Where is his theorem?

I didn't assert he was a mathematician, and indeed that part of my point when I said he had no Mathscinet listed publications. But he does have publications about AI.

It seems very heavily that both you and Loosemore are letting your personal animosity cloud your judgement. I by and large think Loosemore is wrong about many of the AI issues under discussion here, but that discussion should occur, and having it derailed by emotional issues from a series of disagreements on a mailing list yeas ago is almost the exact opposite of rationality.