Mathematical logic and its applications

Abstract

Nội dung cuốn sách "Logic toán học và ứng dụng của nó 2020” gồm các bài viết liên quan đến 3 hướng sau: I. Lý thuyết tập hợp mô tả (3 bài) - Trình bày các giải pháp cho các vấn đề tồn tại lâu dài, trong đó có vấn đề của A. Tarski và H. Friedman. II. Các thuật toán tối ưu hóa tổ hợp chính xác, trong đó độ phức tạp liên quan đến dữ liệu nguồn được đặc trưng bởi đa thức bậc thấp hoặc thậm chí bậc một (1 bài viết). III. Ứng dụng logic toán học và lý thuyết thuật toán (2 bài). Bài viết đầu tiên đề cập đến các phỏng đoán của Jacobian và M. Kontsevich cũng như tính không thể giải quyết được của thuật toán; cho những mục đích này, phân tích phi tiêu chuẩn được sử dụng. Bài viết thứ hai cung cấp một mô tả định lượng về sự cân bằng và nguồn lực thích ứng của con người.