On the possibility, or otherwise, of hypercomputation

British Journal for the Philosophy of Science

Volumn 55, Issue 4, 2004, Pages 739-746

  Welch, P D ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 24944499765     PISSN: 00070882     EISSN: None     Source Type: Journal    
DOI: 10.1093/bjps/55.4.739     Document Type: Review

References (9)

1. Cotogno, P. [2003]: 'Hypercomputation and the Physical Church-Turing Thesis', British Journal for the Philosophy of Science, 54, pp. 181-223.
2. Davies, E. B. [2001]: 'Building Infinite Machines', British Journal for the Philosophy of Science, 52, pp. 671-82.
3. Hamkins, J. D. and Lewis, A. [2000]: 'Infinite Time Turing Machines', Journal of Symbolic Logic, 65 (2), pp. 567-604.
4. Hogarth, M. [1994]: 'Non-Turing Computers and Non-Turing Computability', in D. Hull, M. Forbes and R. M. Burian (eds), Proceedings of the 1994 biennial meeting of the Philosophy of Science Association, 1994, 1, pp. 126-38.
5. Siegelmann, H. [1995]: 'Computation Beyond the Turing limit', Science, 268, pp. 545-8.
6. Stewart, I [1991]: 'The Dynamics of Impossible Devices', Nonlinear Science Today, 1, pp. 8-9.
7. Welch, P. D. [2000a]: The Length of Infinite Time Turing Machine Computations', Bulletin of the London Mathematical Society, 32, pp. 129-36.
8. Welch, P. D. [2000b]: 'Eventually Infinite Time Turing Degrees: Infinite Time Decidable Reals', Journal for Symbolic Logic, 65 (3), pp. 1193-203.
9. Welch, P. D. [2004]: 'Post's and Other Problems in Higher Type Supertasks', in B. Löwe, W. Malzkorn and T. Räsch (eds), Classical and New Paradigms of Computation and their Complexity Hierarchies, Foundations of the Formal Sciences III, Trends in Logic Series, 23, Dordrecht: Kluwer.