External Links

    Journal: Minds and Machines

    Volume 12, Issue 2

    157 -- 158Carol E. Cleland. Preface
    159 -- 179Carol E. Cleland. On Effective Procedures
    181 -- 201David Israel. Reflections on Gödel's and Gandy's Reflections on Turing's Thesis
    203 -- 220Jeremy Seligman. The Scope of Turing's Analysis of Effective Procedures
    221 -- 240Oron Shagrir. Effective Computation by Humans and Machines
    241 -- 258Selmer Bringsjord, Michael Zenzen. Toward a Formal Philosophy of Hypercomputation
    259 -- 280Eric Steinhart. Logically Possible Machines
    281 -- 300B. Jack Copeland. Accelerating Turing Machines
    301 -- 324Benjamin Wells. Is There a Nonrecursive Decidable Equational Theory?
    runs on