La Máquina de Post [pdf]
El matemático Emil L. Post fue un eminente investigador con Allan Tuning, padres de la Computación moderna, ellos idearon un modelo para "probar" las declaraciones de la lógica matemática.
El libro se llama "La máquina de Post" precisamente por basarse y explicar estas formulaciones. El texto está levantado en PDF, no se consigue fácilmente y es para estudiantes de ciencias matemáticas, historia de la ciencia y computación.
No hay comentarios:
Publicar un comentario