Computable Scientists, Uncomputable World

(Abstract)
  • José Félix Costa
Conference paper

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6079)
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

Abstract

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.

Preview

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 

Personalised recommendations