Introducción a la teoría de la computabilidad: algoritmos y máquinas /
[...] se ha logrado mostrar, por métodos estrictamente matemáticos, que existen problemas matemáticos que no pueden ser tratados mediante métodos del cálculo matemático. En vista del importante papel que juega hoy la matemática en nuestra concepción del mundo, este hecho es de gran interés filosófic...
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Օժանդակ հավաքածու |
| Լեզու: | Spanish German |
| Հրապարակվել է: |
Madrid:
Tecnos,
1984.
|
| Հրատարակություն: | Primera edición. |
| Շարք: | Cuadernos de Filosofía y Ensayo.
|
| Խորագրեր: |
Բովանդակություն:
- Presentación
- Prefacio a la primera Edición
- Prefacio a la segunda edición
- Reflexiones preliminares sobre algoritmos
- Máquinas de Turing
- Anexo.