3
Tính toán bảng Laver và một thuật toán không được biết là chấm dứt trong ZFC
Các bảng Laver cung cấp các ví dụ về các chương trình chưa được chứng minh là chấm dứt trong hệ tiên đề chuẩn của toán học ZFC nhưng sẽ chấm dứt khi người ta giả sử các tiên đề rất lớn. Giới thiệu Các bảng Laver cổ điển là …