El legado de Turing en la lógica matemática y los fundamentos de las matemáticas
Alan Turing es conocido sobre todo por sus contribuciones a las ciencias de la computación y a la criptografía, pero el impacto de su trabajo en la teoría general de las funciones computables (teoría de la recursión) y en los fundamentos de la matemática es de igual importancia. En este artículo dam...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Consejo Superior de Investigaciones Científicas
2013-12-01
|
| Series: | Arbor: Ciencia, Pensamiento y Cultura |
| Subjects: | |
| Online Access: | http://arbor.revistas.csic.es/index.php/arbor/article/view/1881 |