Navegar por los elementos (1 total)
Ordenar por:
Pruebas de Consistencia
El propósito de este libro es proporcionar al lector las técnicas básicas que permiten demostrar la indecidibilidad de una gran variedad de afirmaciones matemáticas. El primer paso en esta dirección es advertir que todos los teoremas que los…