3
Laver cálculos de tabela e um algoritmo que não é conhecido por terminar no ZFC
As tabelas Laver fornecem exemplos de programas que não foram mostrados para terminar no sistema axiomático padrão da matemática ZFC, mas que terminam quando alguém assume axiomas cardinais muito grandes. Introdução As tabelas Laver clássicos são as álgebras finitas únicos com subjacente conjunto e uma operação que satisfaz a identidade …