Khác biệt giữa bản sửa đổi của “Logic toán”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi |
Không có tóm lược sửa đổi |
||
Dòng 4:
Các tên gọi cũ của lôgic toán là '''lôgic ký hiệu''' (để đối lập với [[lôgic triết học]]) hay '''mêta toán học'''.
Lôgic toán không phải là ''lôgic của toán học'' mà là ''toán học của lôgic''. Ngành này bao gồm những phần của [[lôgic]] mà có thể được mô hình hóa và nghiên cứu bằng toán học. Nó cũng bao gồm những lĩnh vực thuần túy toán học như [[lý thuyết mô hình]] và [[lý thuyết đệ quy]], trong đó, khả năng định nghĩa là trung tâm của vấn đề được quan tâm.logic
{{Sơ khai}}
| |||