Dear Ben and Bruno,
Your discussions are fascinating! I have one related and pehaps even
trivial question: What is the relationship between the class of Turing
Machines and the class of Boolean Algebras? Is one a subset of the other?Kindest regards, Stephen
