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
September 2012
TuringPearce
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.
Book chapter
Luís Moniz Pereira
Pedro Cabalar et al.
From Philosophy to Computational Logic: Festschrift in honour of David Pearce's first 60 years
-
Google
https://sites.google.com/site/davidpearce60/
-
197-222
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxkYXZpZHBlYXJjZTYwfGd4OjQ4MDhhZTI4Y2ZlNjQzNTY
Export formats
Luís Moniz Pereira, Turing is Among Us, in: Pedro Cabalar et al. (eds), From Philosophy to Computational Logic: Festschrift in honour of David Pearce's first 60 years, Google, https://sites.google.com/site/davidpearce60/, Pag. 197-222, (https://docs.google.com/viewer?a=v_amp_pid=sites_amp_srcid=ZGVmYXVsdGRvbWFpbnxkYXZpZHBlYXJjZTYwfGd4OjQ4MDhhZTI4Y2ZlNjQzNTY), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf, September 2012.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Turing is Among Us</b>, in: Pedro Cabalar et al. (eds), <u>From Philosophy to Computational Logic: Festschrift in honour of David Pearce's first 60 years</u>, Google, https://sites.google.com/site/davidpearce60/, Pag. 197-222, (<a href="https://docs.google.com/viewer?a=v_amp_pid=sites_amp_srcid=ZGVmYXVsdGRvbWFpbnxkYXZpZHBlYXJjZTYwfGd4OjQ4MDhhZTI4Y2ZlNjQzNTY" target="_blank">url</a>), <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf</i>, September 2012.
@incollection {TuringPearce, author = {Lu\'{\i}s Moniz Pereira}, editor = {Pedro Cabalar et al.}, title = {Turing is Among Us}, booktitle = {From Philosophy to Computational Logic: Festschrift in honour of David Pearce's first 60 years}, publisher = {Google}, address = {https://sites.google.com/site/davidpearce60/}, pages = {197-222}, note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/JLC_Turing_is_among_us.pdf}, url = {https://docs.google.com/viewer?a=v_amp_pid=sites_amp_srcid=ZGVmYXVsdGRvbWFpbnxkYXZpZHBlYXJjZTYwfGd4OjQ4MDhhZTI4Y2ZlNjQzNTY}, 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 = {September}, year = {2012}, }
Publication's urls
/publications/view.php?code=2273deb65dabe50f17a860764f673d04
/publications/view.php?code=TuringPearce
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