TÌM HIỂU VỀ TOÁN HỌC - PHẦN 6

by Michael Dương 05/08/09, 10:33 pm

TÌM HIỂU VỀ TOÁN HỌC - PHẦN 6

LOGIC TOÁN

Lôgic toán là một ngành con của toán học nghiên cứu các hệ thống hình thức trong việc mã hóa các khái niệm trực quan về các đối tượng toán học chẳng hạn tập hợp và số, chứng minh toán học và tính toán. 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).

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.

HẾT

HẾT PHẦN 6. Mời các bạn đón xem tiếp PHẦN 7.

Người thực hiện: Dương Thế Hưng
Lớp 12A1 – Trường THPT Lưu Văn Liệt – TP.Vĩnh Long