Of course.
They probably copied the idea off my posts here and on SL4 and wta-
talk. I stated pretty clearly on numerous occasions that there was
more than one way to define causality. I clearly stated on numerous
occasions that physical causality was not the only kind of causality,
but that
(which are
the same, extensionally, as the Turing-computable numeric functions).
In particular, this gives a natural axiomatization of Church's Thesis,
as Gödel and others suggested may be possible.
- Jef
--~--~-~--~~~---~--~~
You received this message because you
2 matches
Mail list logo