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
Gödel and Computability
December 2007
lmp:godel07
We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel's theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.
In proceedings
Luís Moniz Pereira
Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07)
LNAI
Springer
-
4874
63-72
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/epia07-godel_computability.pdf
Export formats
Luís Moniz Pereira, Gödel and Computability, , Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07), LNAI, Springer, Vol. 4874, Pag. 63-72, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/epia07-godel_computability.pdf), December 2007.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Gödel and Computability</b>, <u>Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07)</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 4874, Pag. 63-72, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/epia07-godel_computability.pdf" target="_blank">url</a>), December 2007.
@inproceedings {lmp:godel07, author = {Lu\'{\i}s Moniz Pereira}, title = {G\"odel and Computability}, booktitle = {Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'07)}, series = {LNAI}, publisher = {Springer}, volume = {4874}, pages = {63-72}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/epia07-godel_computability.pdf}, abstract = {We discuss the influence of G\"odel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of G\"odel's theorems, and the views of G\"odel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.}, month = {December}, year = {2007}, }
Publication's urls
/publications/view.php?code=8600a497920e885c22a7d705d92414fb
/publications/view.php?code=lmp:godel07
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