What are the formal sciences?
"Formal Science" is an area of study that uses formal systems to create knowledge. Mathematics is a prototypical example. Others include logic, statistics, information theory and theoretical computer science. Although it was sometimes questioned whether it is truly "science"-a lack of experiments in the real world-these discipline as often learns to science. Despite their lack of empirical foundation, formal sciences are generally considered extremely important and in fact all quantitative science depends on them. It is a ongoing debate about whether formal sciences are a real science. The original purpose was to quantify goods such as slaves or grain. Approximately 600 BC in China and Greece in 400 BC was the initial development of logic, explicit analysis of reasometody Ning. In Greece there were great ancient Greek philosophers such as Pythagoras, Socrates and Aristotle, whose intuition and belief about logic and science dominated the Western world to the modern era until D don the modern era, until the 17th century, until the 17th century, until the 17th century, in its mathematics, in its form.
Information theory, theoretical computer science and modern (Bayesian) statistics date Claude Shannon and Jon von Neumann in the mid -20th century. Alan Turing also contributed significantly. The theory around computers, radio signaling and designing the antenna depends on the milestones that these thinkers have achieved. All these areas are important parts of formal sciences.
After many decades of clutter in experimental methods and analysis of recently "soft science" (social science, political science, etc.), they got more quantitative and announced a major shift in the way things are done. Psychology has become experimental and many of these results will prevent the traditional wisdom of older thinkers, such as Freud. Experimental psychology often falls under the banner of "cognitive psychology".
Theoretical physics with a zdIt is very dependent on the development of mathematics to make progress. Theoretical physics often uses the most advanced available mathematics of the day and describes its results and predictions in these terms.