Nivel 0
¿Por qué verificar?
El problema de confiar en las demostraciones, la historia de la formalización y qué promete un asistente de pruebas.
Adaptado de: Introducción y contexto histórico.
Nivel 0
El problema de confiar en las demostraciones, la historia de la formalización y qué promete un asistente de pruebas.
Adaptado de: Introducción y contexto histórico.