Pruebas de consistencia

Abstract

Todos los matemáticos saben, hoy en día, que hay afirmaciones matemáticas que no pueden ser demostradas ni refutadas. Un lógico precisaría: no pueden ser demostradas ni refutadas en ZFC, la teoría axiomática comúnmente aceptada por los matemáticos; pero, por esto mismo, esta precisión se vuelve superflua: para la mayoría de los matemáticos, —tanto si están familiarizados con la axiomática de ZFC como si no “demostrable” significa “demostrable en ZFC”. Algunos incluso son más restrictivos y ponen objeciones al uso del axioma de elección. Tomado de : http://librosysolucionarios.net/prueba-de-consistencia-carlos-ivorra-castillo/ Fecha de reseña: 01/10/2016