Abstract
We describe axiomatizations of several aspects of effectiveness: effectiveness of transitions; effectiveness relative to oracles; and absolute effectiveness, as posited by the Church-Turing Thesis.
| Original language | English |
|---|---|
| Title of host publication | A Computable Universe |
| Subtitle of host publication | Understanding and Exploring Nature as Computation |
| Publisher | World Scientific Publishing Co. |
| Pages | 77-98 |
| Number of pages | 22 |
| ISBN (Electronic) | 9789814374309 |
| ISBN (Print) | 9789814374293 |
| DOIs | |
| State | Published - 1 Jan 2012 |