International Conference on Unconventional Computation

UC 2010: Unconventional Computation pp 6-10

Computable Scientists, Uncomputable World

  • José Félix Costa
Conference paper

DOI: 10.1007/978-3-642-13523-1_4

Volume 6079 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Costa J.F. (2010) Computable Scientists, Uncomputable World. In: Calude C.S., Hagiya M., Morita K., Rozenberg G., Timmis J. (eds) Unconventional Computation. UC 2010. Lecture Notes in Computer Science, vol 6079. Springer, Berlin, Heidelberg


Consider the classical model of a Turing machine with an oracle. The classical oracle is a one step external consultation device. The oracle may contain either non-computable information, or computable information provided just to speed up the computations of the Turing machine.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • José Félix Costa
    • 1
    • 2
    • 3
  1. 1.Departamento de Matemática, Instituto Superior TécnicoUniversidade Técnica de Lisboa 
  2. 2.Centro de Matemática e Aplicações Fundamentais do Complexo InterdisciplinarUniversidade de Lisboa 
  3. 3.Centro de Filosofia das Ciências da Universidade de Lisboa