Portal:Contents/Mathematics and logic
Mathematics is the study of patterns and relationships, including concepts such as quantity, structure, space, uncertainty, and change. It evolved, through the use of abstraction and logical reasoning, from counting, calculation, measurement, and the systematic study of positions, shapes and motions of physical objects. Mathematicians explore such concepts, aiming to formulate new conjectures and establish their truth by rigorous deduction from appropriately chosen axioms and definitions.
Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason or principle) is the study of the principles and criteria of valid inference and demonstration. As a formal science, logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and through the study of arguments in natural language. The field of logic ranges from core topics such as the study of fallacies and paradoxes, to specialized analysis of reasoning using probability and to arguments involving causality. Logic is also commonly used today in argumentation theory. Since the mid-nineteenth century formal logic has been studied in the context of the foundations of mathematics.
Formal sciences – Information theory • Logic • Statistics • Theoretical computer science Mathematics – Algebra • Applied mathematics • Arithmetic • Calculus • Equations • Geometry • Mathematical analysis • Mathematics education • Mathematical practice • Measurement • Numbers • Philosophy of mathematics • Probability • Proofs • Theorems • Trigonometry • Unsolved problems in mathematics
Formal sciences – branches of knowledge that are concerned with formal systems. Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the real world, but instead with the properties of formal systems based on definitions and rules.
Algebra • Analysis • Arithmetic • Education • Equations • Geometry • Logic • Measurement • Numbers • Proofs • Theorems • Trigonometry Statistics • Analysis of variance • Bayesian statistics • Categorical data • Covariance and correlation • Data analysis • Decision theory • Design of experiments • Logic and statistics • Multivariate statistics • Non-parametric statistics • Parametric statistics • Regression analysis • Sampling • Statistical theory • Stochastic processes • Summary statistics • Survival analysis • Time series analysis • Uncertainty of numbers
Algorithms and data structures • Arithmetic and Diophantine geometry • Category theory • Cryptographic key types • Differential geometry and topology (General topology, Topology) • Field theory • Game theory • Graph theory • Group theory • Mathematical jargon • Order theory • Probability and statistics • Riemannian and metric geometry • Ring theory • Scheme theory • Semisimple groups • Shapes with metaphorical names • Tensor theory
|