Formal Sciences

Khoa học Hình thức

Study of abstract systems, logic, and symbols

Central Question: How do logical structures and symbolic systems work?

Cấu trúc logic và hệ thống ký hiệu vận hành thế nào?

Fields within Formal Sciences

Toán học

Study of numbers, quantities, structures, and patterns

"What are the fundamental patterns and structures of abstract systems?"

Khoa học Máy tính & Logic

Study of computation, algorithms, and formal reasoning

"What can be computed and how efficiently?"

Lý thuyết Hệ thống

Study of complex systems and their behaviors

"How do complex systems organize and behave?"