Portal:Contents/Mathematics and logic
Mathematics is the science of quantization. It is also 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 midnineteenth century formal logic has been studied in the context of the foundations of mathematics.
Formal sciences – Information theory • Logic • Statistics • Theoretical computer science
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.
Mathematics lists • Probability
Methodology • Graphical methods • Mathematicsbased methods • Rules of inference Mathematical statements • Algorithms • Axioms • Conjectures • Erdős conjecture • Combinatorial principles • Equations • Formulae involving pi • Mathematical identities • Inequalities • Lemmas • Mathematical proofs • NPcomplete problems • Statements undecidable in ZFC • Mathematical symbols • Undecidable problems • Theorems (Fundamental theorems) General concepts • Dualities • Transforms • Recursion Mathematical objects • Mathematical examples • Curves • Complex reflection groups • Complexity classes • Examples in general topology • Finite simple groups • Fourierrelated transforms • Mathematical functions • Mathematical knots and links • Manifolds • Mathematical shapes • Matrices • Numbers • Polygons, polyhedra and polytopes • Regular polytopes • Simple Lie groups • Small groups • Special functions and eponyms • Algebraic surfaces • Surfaces • Table of Lie groups
Algorithms and data structures • Areas of mathematics • Arithmetic and Diophantine geometry • Category theory • Cryptographic key types • Differential geometry and topology (Topology) • Field theory • Game theory • Graph theory • Group theory • Mathematical jargon • Linear algebra • Order theory • Probability and statistics • Riemannian and metric geometry • Ring theory • Scheme theory • Semisimple groups • Shapes with metaphorical names • Tensor theory
