Journal of Applied Mathematics and Computation 178:142-153 ()
| Authors |
|
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,226
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Systems of Logic Based on Ordinals.Alan Mathison 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.
Trial and Error Predicates and the Solution to a Problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.
Non-Turing Computers and Non-Turing Computability.Mark Hogarth - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:126-138.
View all 14 references / Add more references
Citations of this work BETA
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
Artificial Moral Agents Are Infeasible with Foreseeable Technologies.Patrick Chisan Hew - 2014 - Ethics and Information Technology 16 (3):197-206.
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
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.
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 - Wiley.
Rights, Goals, and Capabilities.Martin van Hees - 2013 - Politics, Philosophy and Economics 12 (3):247-259.
Analytics
Added to PP index
2010-10-29
Total views
41 ( #274,652 of 2,499,723 )
Recent downloads (6 months)
1 ( #418,066 of 2,499,723 )
2010-10-29
Total views
41 ( #274,652 of 2,499,723 )
Recent downloads (6 months)
1 ( #418,066 of 2,499,723 )
How can I increase my downloads?
Downloads
