Ambos ensayos analizan nociones fundamentales de computación, con un enfoque en la formalización matemática y su evolución filosófica.
La Noción de Prueba en Computación
por Gilles Dowek · 2011
Ver sugerenciasSinopsis
Este ensayo explora la noción de prueba matemática y su evolución, desde la lógica formal hasta las pruebas asistidas por ordenador, reflexionando sobre su significado y aplicaciones en la computación.
Sé el primero en valorar este libro.
Más de Gilles Dowek
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
La obra de Longo examina la interconexión de la lógica y la computación, similar a cómo Dowek relaciona la prueba matemática con la computación.
Ambos textos se centran en el desarrollo de teorías que subyacen a modelos de computación, explorando sus implicaciones y límites.
Bauer y Dowek abordan la importancia del rigor matemático en la formulación y diseño de conceptos informáticos, aunque desde diferentes perspectivas.
Girard reflexiona sobre límites conceptuales en computación y lógica, en un tono filosófico que complementa las ideas de prueba de Dowek.
Dijkstra y Dowek comparten un enfoque crítico sobre la importancia del rigor y la verificación dentro del contexto de la programación y la lógica.