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
n Bot: Dời no:Predikatslogikk (strong connection between (2) vi:Logic toán and no:Formal logikk) |
n add category using AWB |
||
Dòng 1:
{{chú thích trong bài}}'''Lôgic toán''' là một ngành con của [[toán học]] có liên hệ gần gũi với [[cơ sở toán học]], [[khoa học máy tính lý thuyết]], [[logic triết học]]. Ngành này bao gồm cả hai phần: Nghiên cứu toán học về logic và những ứng dụng của logic hình thức trong các ngành khác của toán học. Các chủ đề thống nhất trong logic toán học bao gồm các nghiên cứu về sức mạnh ý nghĩa của các hệ thống hình thức và sức mạnh suy diễn của hệ thống chứng minh chính thức.
Ngành này thường được chia thành các lĩnh vực con như [[lý thuyết mô hình]] (''model theory''), [[lý thuyết chứng minh]] (''proof theory''), [[lý thuyết tập hợp]] và [[lý thuyết đệ quy]] (''recursion theory''). Nghiên cứu về lôgic toán thường đóng vai trò quan trọng trong ngành [[cơ sở toán học]] (''foundations of mathematics'').
| |||