Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Turing is Among Us
December 2012
turing12
Turing's present-day and all-time relevance arises from the timelessness of the issues he tackled, and the innovative light he shed upon them. Turing first defined the algorithmic limits of computability, when determined via effective mechanism, and showed the generality of his definition by proving its equivalence to other general, but less algorithmic, non-mechanical, more abstract formulations of computability. Turing also first implicitly introduced the perspective of 'functionalism'—though he did not use the word, it was introduced later by Putnam, inspired by Turing’s work—by showing that what counts is the realizability of functions, independently of the hardware which embodies them. No one to this day has invented a computational mechanical process with such general properties, which cannot be theoretically approximated with arbitrary precision by some Turing Machine, wherein interactions are to be captured by Turing's innovative concept of oracle.
Journal
Luís Moniz Pereira
Journal of Logic and Computation
Oxford University Press
Oxford, UK
22
6
1257-1277
-
ISSN 0955-792X
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf
http://logcom.oxfordjournals.org/
Export formats
Luís Moniz Pereira, Turing is Among Us, Journal of Logic and Computation, Vol. 22, No. 6, Pag. 1257-1277, Oxford University Press, Oxford, UK, ISSN ISSN 0955-792X, <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf</i>, (http://logcom.oxfordjournals.org/), December 2012.
<b><a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a></b>, <u>Turing is Among Us</u>, Journal of Logic and Computation, Vol. 22, No. 6, Pag. 1257-1277, Oxford University Press, Oxford, UK, ISSN ISSN 0955-792X, <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf</i>, (<a href="http://logcom.oxfordjournals.org/" target="_blank">url</a>), December 2012.
@article {turing12, author = {Lu\'{\i}s Moniz Pereira}, title = {Turing is Among Us}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press}, address = {Oxford, UK}, volume = {22}, number = {6}, pages = {1257-1277}, issn = {ISSN 0955-792X}, note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf}, url = {http://logcom.oxfordjournals.org/}, abstract = {Turing's present-day and all-time relevance arises from the timelessness of the issues he tackled, and the innovative light he shed upon them. Turing first defined the algorithmic limits of computability, when determined via effective mechanism, and showed the generality of his definition by proving its equivalence to other general, but less algorithmic, non-mechanical, more abstract formulations of computability. Turing also first implicitly introduced the perspective of 'functionalism'—though he did not use the word, it was introduced later by Putnam, inspired by Turing’s work—by showing that what counts is the realizability of functions, independently of the hardware which embodies them. No one to this day has invented a computational mechanical process with such general properties, which cannot be theoretically approximated with arbitrary precision by some Turing Machine, wherein interactions are to be captured by Turing's innovative concept of oracle.}, keywords = {Alan Turing, Turing Machines, Computability, Functionalism, Learning.}, month = {December}, year = {2012}, }
Publication's urls
/publications/view.php?code=28ed4beb2cc565b743e5e79ab5db1967
/publications/view.php?code=turing12
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT