3
Cálculos de la tabla de laver y un algoritmo que no se sabe que termina en ZFC
Las tablas de Laver proporcionan ejemplos de programas que no se ha demostrado que terminen en el sistema axiomático estándar de matemática ZFC, pero que terminan cuando se asumen axiomas cardinales muy grandes. Introducción Las tablas Laver clásicas son las álgebras finitas únicos con el conjunto subyacente y una operación …