4
¿Cuándo (o debería) importar teóricamente CS sobre las pruebas intuicionistas?
Por lo que entiendo (que es muy poco, ¡así que corrígeme donde me equivoco!), La teoría de los lenguajes de programación a menudo se ocupa de las pruebas "intuicionistas". En mi propia interpretación, el enfoque requiere que tomemos en serio las consecuencias del cálculo en la lógica y la demostrabilidad. …