No subject

[Noel Sharkey]

I keep hearing that there is a formal result about the
equivalence of connect. models and Turing machines, but
I have never seen it. I always hear from someone who knows
someone else who was told by someone who knew someone else whose
friend thought that one of their workmates had once worked
with someone who knew of a formal proof by someone whose name
they couldn`t quite remember, but they were at one of the big
league universities.

Please can I see it as well if there is one? Though I am sure I would
have seen it by now.

noel