Câu hỏi được gắn thẻ «model-theory»

Có một định lý chung sẽ nêu rõ, với việc vệ sinh đúng cách, rằng hầu hết các kết quả được biết đến liên quan đến việc sử dụng số thực có thể được sử dụng khi chỉ xem xét các số thực có thể tính toán được không? Hoặc …

16 computability  computing-over-reals  topology  model-theory 

Đối với các hệ thống không có loại phụ thuộc, như hệ thống loại Hindley-Milner, các loại tương ứng với các công thức của logic trực giác. Ở đó chúng ta biết rằng các mô hình của nó là đại số Heyting và đặc biệt, để từ chối một công …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

Khi phỏng đoán hoặc P ≠ N P được thiết lập (ví dụ bằng cách Toán học Viện Clay bởi S. Cook, thấy ở đây ) những gì hệ tiên đề toán học được giả?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Để chứng minh hoặc bác bỏ những tuyên bố như vậy, …

8 cc.complexity-theory  model-theory 

Mặc dù L.Berman đã chứng minh rằng vấn đề xác minh hoặc làm sai lệch bất kỳ tuyên bố bậc nhất nào về các số thực sử dụng phép cộng và so sánh nhưng không nhân lên là trong EXPSPACE. Nó đã được chỉ ra bao nhiêu thời gian hoặc …

8 cc.complexity-theory  lo.logic  model-theory