3
Obliczenia tabeli Laver i algorytm, o którym nie wiadomo, że kończy się w ZFC
Te tabele Laver przykłady programów, które nie zostały pokazane, aby zakończyć się w standardowym systemie aksjomatyczną matematyki ZFC , ale które nie kończą, gdy zakłada bardzo duże aksjomaty kardynalnych. Wprowadzenie Klasyczne tabele Laver są unikalne skończone algebry z bazowego zestawu i operacja , która spełnia tożsamość i gdzie dla i …