Re: A Natural Axiomatization of Church's Thesis

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

A Natural Axiomatization of Church's Thesis

(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