early 1800s, Gauss and Laplace developed the mathematical theory of statistics, which also explained the use of statistics in insurance and governmental accounting. Mathematical statistics was recognized as a mathematical discipline in the early 20th century. In the mid-20th century, mathematics was broadened and enriched by the rise of new mathematical sciences and engineering disciplines such as operations research and systems engineering. These sciences benefited from basic research in electrical engineering and then by the development of electrical computing, which also stimulated information theory, numerical analysis (scientific computing), and theoretical computer science. Theoretical computer science also benefits from the discipline of mathematical logic, which includes the theory of computation. Branches Branches of formal science includes: logic, mathematics, statistics, data science, information science, systems science, computer science. Differences from other sciences As opposed to empirical sciences (natural and social), the formal sciences do not involve empirical procedures. They also do not presuppose knowledge of contingent facts, or describe the real world. In this sense, formal sciences are both logically and methodologically a priori, for their content and validity are independent of any empirical procedures. Therefore, strictly speaking, formal science is not an empirical science. It is a formal logical system with its content targeted at components of experiential reality, such as information and thoughts. As Francis Bacon pointed out in the 17th century, experimental verification of the propositions must be carried out rigorously and cannot take logic itself as the way to draw conclusions in nature. Formal science is a method that is helpful to empirical science but cannot replace empirical science. Although formal sciences are conceptual systems, lacking empirical content, this does not mean that they have no relation to the real world. But this relation is such that their formal statements hold in all possible conceivable worlds – whereas, statements based on empirical theories, such as, say, general relativity or evolutionary biology, do not hold in all possible worlds, and may eventually turn out not to hold in this world as well. That is why formal sciences are applicable in all domains and useful in all empirical sciences. Because of their non-empirical nature, formal sciences are construed by outlining a set of axioms and definitions from which other statements (theorems) are deduced. For this reason, in Rudolf Carnap's logical-positivist conception of the epistemology of science, theories belonging to formal sciences are understood to contain no synthetic statements, instead containing