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

Các nhà toán học đôi khi lo lắng về Tiên đề lựa chọn (AC) và Tiên đề xác định (AD). Axiom of Choice : Với bất kỳ bộ sưu tập của bộ rỗng, có một hàm f rằng, cho một tập S trong C , trả về một thành viên …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Tôi sẽ hỏi một câu hỏi khá mơ hồ, vì ranh giới giữa khoa học máy tính lý thuyết và toán học không phải lúc nào cũng dễ phân biệt. CÂU HỎI: Bạn có biết về bất kỳ kết quả thú vị nào trong CS độc lập với ZFC (tức …

37 reference-request  lo.logic  set-theory 

Tôi thường quan tâm đến phương pháp cưỡng bức được sử dụng bởi Baker-Gill-Solovay và Cohen. Tôi đang tìm kiếm nhiều nguồn mà tôi có thể có được trong tay về kỹ thuật hoặc việc sử dụng nó. Có ai có đề nghị?

15 cc.complexity-theory  set-theory 

Tôi là một nhà toán học quan tâm đến lý thuyết tập hợp, lý thuyết thứ tự, tổ hợp vô hạn và cấu trúc liên kết chung. Có ứng dụng nào cho các môn học này trong khoa học máy tính không? Tôi đã xem xét một chút, và tìm …

15 set-theory  topology  topological-graph-theory 

Tôi thú vị trong hệ thống hướng dương và các ứng dụng của nó trong khoa học máy tính. Cho một vũ trụ và một tập hợp k tập hợp A i được gọi là hệ thống hoa hướng dương k nếu A i ∩ A j = Y cho …

11 co.combinatorics  set-theory 

Theo tôi hiểu, trong các loại dữ liệu khoa học máy tính không dựa trên lý thuyết tập hợp vì những điều như nghịch lý của Russell, nhưng như trong các ngôn ngữ lập trình trong thế giới thực, chúng ta không thể diễn tả các loại dữ liệu phức …

11 type-theory  set-theory  type-systems 

Định lý Cantor nói rằng Đối với bất kỳ tập hợp A nào, tập hợp tất cả các tập hợp con của A có số lượng thẻ lớn hơn chính A. Có thể mã hóa một cái gì đó như thế này chỉ bằng cách sử dụng các loại / …

9 type-theory  set-theory 

Đây là một câu hỏi tôi đã hỏi trong diễn đàn toán học SE, và tôi đã được giới thiệu ở đây. Vì vậy, đây là câu hỏi- Tôi là người mới trong cả toán học chính thức và khoa học máy tính lý thuyết, vì vậy hãy đồng ý …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

Tôi đang cố gắng xoay quanh các khái niệm về các loại phổ quát và hiện sinh nhưng ở mọi nơi tôi nhìn thấy, tôi đều thấy trực giác logic hoặc hoạt động (hoặc triển khai) (ví dụ: sách TAPL của B. Pierce), trong đó, ... tốt , nhưng tôi …

9 lo.logic  type-theory  type-systems  set-theory