The many forms of hypercomputation

Journal of Applied Mathematics and Computation 178:142-153 (178)
  Copy   BIBTEX

Abstract

This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. 2005 Elsevier Inc. All rights reserved

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hypercomputation: Computing more than the Turing machine.Toby Ord - 2002 - Dissertation, University of Melbourne
The diagonal method and hypercomputation.Toby Ord & Tien D. Kieu - 2005 - British Journal for the Philosophy of Science 56 (1):147-156.
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
Quantum hypercomputation.Tien D. Kieu - 2002 - Minds and Machines 12 (4):541-561.
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.
A brief critique of pure hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.
Toward a formal philosophy of hypercomputation.Selmer Bringsjord & Michael Zenzen - 2002 - Minds and Machines 12 (2):241-258.
What Turing did after he invented the universal Turing machine.Diane Proudfoot & Jack Copeland - 2000 - Journal of Logic, Language and Information 9:491-509.
On the possibility, or otherwise, of hypercomputation.Philip D. Welch - 2004 - British Journal for the Philosophy of Science 55 (4):739-746.
Aristotle’s Criticism of Non-Substance Forms and its Interpretation by the Neoplatonic Commentators.Pieter5 D'Hoine - 2011 - Phronesis 56 (3):262-307.
The architecture of emergence: the evolution of form in nature and civilisation.Michael Weinstock - 2010 - Chichester, U.K.: Wiley.
Reason and Value in Plato.Tushar Irani - 2012 - Philosophy and Literature 36 (2):378-390.
Rights, goals, and capabilities.Martin van Hees - 2013 - Politics, Philosophy and Economics 12 (3):247-259.

Analytics

Added to PP
2010-10-29

Downloads
56 (#280,221)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Toby Ord
University of Oxford

Citations of this work

Computation in physical systems.Gualtiero Piccinini - 2010 - Stanford Encyclopedia of Philosophy.
Artificial moral agents are infeasible with foreseeable technologies.Patrick Chisan Hew - 2014 - Ethics and Information Technology 16 (3):197-206.
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
A brief critique of pure hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.
Is Church’s Thesis Still Relevant?Jerzy Mycka & Adam Olszewski - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):31-51.

View all 7 citations / Add more citations

References found in this work

Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.

View all 14 references / Add more references