First-Order Frege Theory is Undecidable
Tóm tắt
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
- Công bố khoa học
- Công cụ trích dẫn
- Công bố khoa học
- Trích dẫn
- Tạp chí khoa học
- Cơ quan đơn vị
- Quản lý tài khoản
- Danh mục đã lưu
- Đăng xuất
Scholar Hub - Công cụ hỗ trợ trích dẫn và phân tích khoa học Việt Nam
Về chúng tôi
Scholar Hub là công cụ hỗ trợ trích dẫn và phân tích các bài báo, công bố khoa học Việt Nam. Công cụ trợ giúp người nghiên cứu, tạp chí, đơn vị nghiên cứu tra cứu, phân tích và thống kê dữ liệu nghiên cứu khoa học tại Việt Nam và quốc tế.