Seonglae Chohard science
STEM
- Formal science
- Computer Science
- Logic
- Mathematics
- Statistics
- Data Science
- Information science
Formal science
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them.[citation needed]
https://en.wikipedia.org/wiki/Formal_science
- Natural science
- Physics
- Chemistry
- Astronomy
Natural science
Natural science is one of the branches of science concerned with the description, understanding and prediction of natural phenomena, based on empirical evidence from observation and experimentation.[1] Mechanisms such as peer review and reproducibility of findings are used to try to ensure the validity of scientific advances.
https://en.wikipedia.org/wiki/Natural_science
Humanities, social science
soft science
Hard and soft science
Hard science and soft science are colloquial terms used to compare scientific fields on the basis of perceived methodological rigor, exactitude, and objectivity.[1][2][3] In general, the formal sciences and natural sciences are considered hard science, whereas the social sciences and other sciences are described as soft science.[4]
https://en.wikipedia.org/wiki/Hard_and_soft_science
Formal science
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them.[citation needed]
https://en.wikipedia.org/wiki/Formal_science