🗄️
math-debrief
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
    • debrief-name: math section-code: 000 section-name: general section-desc: Elementary topics pervasive
      • About Mathematics
      • abstraction-in-math
      • About Math
      • Axiom schema
      • Basic concepts in math
      • Collections
      • Elementary concepts in objects
      • Elements of mathematics
      • math-as-a-language
      • Mathematical structures
      • List of mathematics-based methods
      • Mathematics and Reality
      • Mathematics: General
      • Controversial mathematics
      • the-elements-of-math
      • What is mathematics
    • The foundation of mathematics
      • Mathematical foundations
      • Foundations of Mathematics
      • Axiomatization of mathematics
      • Foundational crisis of mathematics
      • Foundations
      • Hilbert's problems
      • impl-of-math-in-set-theory
      • Gödel's Incompleteness Theorem
      • Theorems in the foundations of mathematics
      • The list of FOM candidates
      • Logicism
    • Philosophy of mathematics
      • Constructive mathematics
      • Constructive mathematics
      • Metamathematics
      • Philosophy of mathematics
      • Schools of mathematics
    • terms
      • Terms
      • Arithmetic
      • Axiom
      • The Axiomatic Method
      • discrete-math
      • 201 Discrete mathematics
      • Euclidean space
      • Formal system
      • Function
      • Generalization
      • Geometry
      • Higher-order
      • Impredicativity
      • Level of measurement
      • Mathematical definition
      • FAQ
      • Mathematical function
      • Mathematical induction
      • Mathematical object
      • Mathematical object
      • Equivalent definitions of mathematical structures
      • Mathematics
      • Mathematical model
      • mathematical-notation
      • Mathematical pages
      • Mathematical terminology
      • Mathematical adjective
      • Numbers
      • plane
      • Primer: Set Theory
      • Mathematical primitive
      • Set
      • Space
      • theory
      • Variable
  • 200 Set and Set theory
    • Sets: Hierarchy
    • set.TERMS
    • SETS › TOPICS
    • 201 Set concepts
      • Mathematical collections
      • The notion of sets
      • Specification of sets
    • Set cardinality
      • Cardinality of the continuum
      • Cardinality
      • Set Cardinality
      • cardinality2
      • Set cardinality
    • Set operations
      • Disjoint sets
      • Overlapping sets
      • Product
      • set-interactions
      • Set qualities
      • Set relations
    • Set properties
      • Basic set properties
      • Set properties
    • Set relations
      • Basic set relations
      • Disjoint sets
      • Inclusion relation
      • Membership Relation
      • Set membership
    • Summary
      • Set FAQ
      • Sets: Summary
    • Set theories
      • Axiomatic set theory
      • Set Theories
      • Naive Set Theory
      • Morse-Kelley set theory
      • von Neumann-Bernays-Gödel Set Theory
      • Quine's New Foundations (NF)
      • Cantor's set theory
      • Zermelo-Fraenkel set theory
    • Axioms of set theory
      • axiom-of-choice
      • The Axiom of Extensionality
      • Axiom of infinity
      • axiom-of-pairing
      • Axiom of powerset
      • Axiom of Regularity
      • Axiom of replacement
      • Axiom of union
      • Axiom of well-ordering
      • axiom-schema-of-comprehension
      • Axiom Schema of Specification
      • Axioms of set theories
      • List of axioms in set theory
      • ZFC Axioms
    • Sets: Terms
      • Bell Number
      • Cardinal number
      • Class (set theory)
      • Closure
      • empty-set
      • Extended set operations
      • Extensions by definitions
      • Family of sets
      • Fundamental sets
      • fundamental-sets2
      • Georg Cantor
      • History of set theory
      • Implementation of mathematics in set theory
      • Indexed family of sets
      • Extensional and intensional definitions
      • Involution
      • list-of-axioms-of-set-theory
      • Implementation of mathematics in set theory
      • Set membership
      • Naive Set Theory
      • Number of relations
      • empty-relation
      • Set Partitioning
      • Powerset
      • Russell's paradox
      • Set-builder notation
      • Set equivalence
      • Set Notation in latex
      • Set notation
      • Set partition
      • Intensional and extensional set specification
      • Set notation
      • Basic concepts in set theory
      • set-theory
      • Set Types
      • set
      • subset
      • Transfinite number
      • Tuples
      • ur-elements
  • Relations
    • basic-concepts
      • algebraic-axioms
      • Elements of a relation
      • Types of Relations
      • Named Relations
      • Relation theory
      • Relations
      • Types of relations
    • Relations
      • Definitions
      • Reflexivity
      • Symmetry
      • Transitivity
    • relation-properties
      • Uniqueness properties of relations
    • Types of relations
      • Transitivity
      • Binary Relation
      • Congruence relation
      • Connex relation
      • axioms-sets-zfc
      • Endorelation
      • Equivalence relation
      • Euclidean
      • Finitary relation
      • Heterogeneous relation
      • Homogeneous relation
      • Transitivity
      • Partial equivalence relation
      • Transitivity
      • Transitivity
      • Reflexive relation
      • Reflexivity
      • Index of relations
      • Serial relation
      • Symmetry
      • Transitivity
      • Ternary relation
      • Trichotomy
      • Universal relation
      • Well-foundedness
    • terms
      • Relations
      • Binary relation
      • Relations
      • _finitary-rel
      • Relations: Overview
      • Relations
      • Index of relations
      • Binary relations
      • Composition of relations
      • Equivalence class
      • Notation
      • Relation
      • Relations
      • Sets: Summary
      • Aggregation: Sets, Relations, Functions
  • Order theory
    • Order theory
    • List of order structures in mathematics
    • List of order theory topics
    • Order theory
      • Hasse diagram
      • Order theory
      • ordered-set
      • Partial order
      • Partially ordered set
      • Total order
  • Function Theory
    • Function Theory: GLOSSARY
    • Function Theory: HIERARCHY
    • Function Theory: LINKS
    • Function Theory: TERMS
    • Function Theory: TOPIC
    • Function Theory: WIKI
    • _articles
      • about-functions
      • Function
      • Formal definition
      • Definition
      • constant
      • Introduction
      • Types of functions
      • Functions: Summary of Notations
      • Functions: Overview
      • Properties of functions
      • Function properties
      • Functions: Summary
      • Function
    • Abjections
      • Bijective function
      • Function (abjections)
      • Injective function
      • Surjective function
    • topics
      • Function: TERMS
      • Codomain
      • Composition of functions
      • Currying
      • Division of functions
      • Domain
      • Function fixed points
      • Function cardinality
      • Function definition
      • Elements of a function
      • Function in mathematics
      • Function notion
      • Function operations
      • Function properties
      • Functional statements
      • Functions in programing languages
      • Image and Preimage
      • Image
      • Inverse function
      • Notion of functions
      • Number and types of functions between two sets
      • Operation
      • Range
      • Successor function
      • Time complexity classes
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
    • Domain theory: LINKS
    • Domain theory
  • Logic
    • Logic: CHRONO TERMS
    • Logic: CLUSTERS
    • lo.GLOSSARY
    • Logic: Wiki links
    • 305-basic-concepts
      • Introduction to Logic
      • Argumentation
      • Logic: Basic terminology
      • Logic: Terminology
      • Truth function
      • Truth function
    • README
      • Mathematical Logic
      • Types of Logic
      • BHK interpretation
      • FOL
      • Index of Logic Forms
      • History of logic
      • Logic Indices
      • Interpretation of symbols in logic and math
      • logic-systems
      • Mathematical Logic: People and Events
      • Index of logical fallacies
      • Logical symbols
      • Mathematical conjecture
      • Mathematical induction
      • Mathematical lemma
      • Mathematical Logic
      • Mathematical proof
      • Mathematical theorem
      • Mathematical theory
      • Monotonicity of entailment
      • Satisfiability Modulo Theories
      • Sequent Calculus
      • Sequent
      • Tableaux
      • Truth tables
    • 360-propositional-logic
      • Propositional Logic
      • Propositional Logic
    • 370-predicate-logic
      • Predicate Logic
      • First-order logic
      • Predicate calculus
      • Examples of predicate formulae
    • 380-proof-theory
      • Argument-deduction-proof distinctions
      • Direct proof
      • Mathematical induction
      • Mathematical induction
      • Mathematical proof
      • Natural deduction
      • Natural deduction
      • Proof by induction
      • Proof by induction
      • proof-calculus
      • Proof Theory
      • Structural induction
      • System L
      • Proof theory
    • Logic: Indices
      • Gödel's Incompleteness Theorem
      • The History of Mathematical Logic
      • forallx
      • Logic for CS
      • Lectures in Logic and Set Theory
      • _logicomix
    • Logic
      • Logical connectives
      • Logical equivalence
    • Rules of Inference
      • WIKI
      • Conjunction elimination
      • Conjunction introduction
      • Cut rule
      • Disjunction elimination
      • Disjunction introduction
      • Disjunctive syllogism
      • Exportation
      • implication-elimination
      • implication-introduction
      • Rules of Inference: Index
      • Rules of inference
      • Rules of Inference for Natural Deduction
      • Logical Inference
      • Reiteration
      • Rule of inference
      • Structural rules
      • substitution
    • Logic
      • The principle of bivalence
      • The principle of explosion
      • The Law of Identity (ID)
      • Laws of thought
      • Properties of logic systems
      • List of laws in logic
      • The law of non-contradiction
    • Logic
      • Logic systems: LINKS
      • Logic system
      • logic-systems
      • logic-typ
      • logics-by-purpose
      • _logics
      • Affine logic
      • Algebraic logic
      • Bunched logic
      • Classical logic
      • Traditional first-order logic
      • Hoare logic
      • Linear logic
      • Modal logic
      • Non-monotonic logic
      • Syntax
      • Predicate logic
      • Propositional Logic
      • Relevance logic
      • Separation logic
      • Substructural logics
      • Syllogistic logic
    • Logic: Sections: Elementary
    • Logic: Topics
      • Pages in Logic
      • Logic ❱ Terms ❱ List
      • Logic ❱ Terms ❱ Definitions
      • Absoluteness
      • Assumption
      • Automated theorem proving
      • Canonical normal form
      • Categorical proposition
      • Classical linear logic
      • Consequence
      • Decidability
      • Deduction systems
      • deduction-theorem
      • Deductive reasoning
      • Diagonal lemma
      • Fallacy
      • Fitch notation
      • Formal language
      • formal-system
      • Formalism
      • Formula
      • functionally complete
      • Hilbert system
      • Hoare logic
      • horn-clause
      • Mathematical induction
      • Induction
      • Inductive Reasoning
      • Intuitionistic logic
      • Intuitionistic logic
      • Intuitionistic logic
      • Judgement
      • Judgments
      • Linear logic
      • Logic in computer science
      • Logic
      • Logical connective
      • Logical consequence
      • Logical constant
      • Logical form
      • axioms-sets
      • Logical reasoning
      • Ludics
      • Non-logical symbol
      • Predicate
      • Premise
      • Quantification
      • Realizability
      • Boolean satisfiability problem
      • DPLL algorithm
      • Satisfiability
      • Semantics of logic
      • Skolemization
      • SAT and SMT
      • Syntax
      • Tautology
      • Term
      • Unification
      • Validity
  • 510 Lambda Calculi
    • Lambda Calculus: GLOSSARY
    • Lambda calculi: LINKS
    • Lambda Calculus: OUTLINE
    • Lambda Calculus: Basic concepts
      • Introduction
      • Lambda expressions
      • Free variables
    • Lambda Calculi
      • Lambda calculus: LINKS
      • Lambda calculus combinators in Haskell
      • Lambda calculus: Combinators
      • Combinators
      • combos-all.js
      • combos-bird.js
      • combos-birds-list.js
      • combos-birds.js
      • Fixed-point combinator
      • Fixpoint operator
      • Lambda calculus: Fixpoint
    • combinatory-logic
      • algebraic-structures
      • Combinatory logic
      • Combinatory logic
      • relation-classification
      • 04-definition
    • Lambda calculus encoding schemes
      • bohm-berarducci-encoding
      • Index of Church encodings
      • Church encodings
      • Church Numerals
      • Encoding data structures
      • Encoding schemes in lambda calculi
      • Lambda encoding
      • Mogensen-Scott encoding
      • Parigot encoding
      • encodings
        • Encoding data structures
        • Encoding of Data Types in the λ-calculus
        • church-booleans
        • Church data structures
        • Church encoding
        • Church Numerals: Church encoding of natural numbers
        • Lambda Calculus: Church encoding
        • Lambda Calculus: Church encoding
        • church-numerals
        • Lambda Calculus: Church encoding: Numerals
        • Church pair
        • Pair
        • Lambda Calculus: Church encoding
        • Alternative encodings
        • Encoding schemes
        • Encoding schemes
        • Encodings in Untyped Lambda Calculus
        • Lambda calculus
        • Scott encoding
        • Lambda calculus: Scott encoding
    • lambda-calculus-evaluation
      • Call-by-name
      • Call-by-need
      • Call-by-value
    • lambda-calculus-forms
      • Beta normal form
      • Lambda terms
      • Fixity of lambda-terms
    • lambda-calculus-reductions
      • Alpha conversion
      • Beta reduction
      • Delta reduction
      • Eta conversion
      • Eta conversion
      • Lambda calculus: η-conversion
    • lambda-calculus
      • Alonzo Church
      • Inference rules for lambda calculus
      • Lambda Calculus: Introduction
      • Lambda abstraction
      • Lambda application
      • Lambda Calculus: Definition
      • About λ-calculus
      • Type inference
      • Lambda Calculus
      • Lambda Calculus: Introduction
      • Introduction to λ-calculus
      • Lambda calculus
      • Definition of Lambda Calculus
      • Functions in lambda calculus
      • History of Lambda Calculus
      • Using the Lambda Calculus
      • Name capturing
      • Variable occurrences
      • Variables
    • Lambda Calculus
      • Church-Rosser theorem
      • Curry's paradox
      • De Bruijn index
      • de Bruijn notation
      • Deductive lambda calculus
      • Kleene-Rosser paradox
      • Aspects of the lambda calculus
      • Function Refactoring
      • Lambda lifting
      • Let expression
      • Reduction strategy
      • Substitution
    • typed-lambda-calculi
      • Lambda Cube
      • Simply typed lambda calculus
      • System F
      • Typed lambda calculi
  • Type theory
    • Type Theory: GLOSSARY
    • Type theorists
    • Type Theory: SUMMARY
    • TERMS: Type Theory
      • Types
      • History of type theory
      • History of Type Theory
    • curry-howard-correspondence
      • The Curry-Howard Correspondence in Haskell
      • Curry-Howard correspondence
      • Curry-Howard correspondence
      • Curry-Howard correspondence
      • Curry-Howard-Lambek correspondence - HaskellWiki
    • dependent-types
      • Dependent type
      • Dependent type
    • Hindley-Milner type-system
      • Hindley-Milner type system
      • Monomorphism vs polymorphism
      • Let-polymorphism
      • The Hindley-Milner type system
      • Algorithm W in Haskell
      • Hindley-Milner Type Inference: W Algorithm
      • hindley–milner-type-system
      • Hindley-Milner type system
      • HM inference examples
      • HM in ML
      • Type Inference
    • Homotopy type theory
      • Homotopy type theory
      • Univalent Type theory as the foundations of mathematics
    • Intuitionistic type theory
      • Inductive definition
      • Inductive type
      • Intuitionistic type theory
    • Type Theory
      • TTTools
      • Coinduction
      • Impredicativity
      • Lean
      • Subsumption
    • Type Theory : Topics
      • Type Theory : Terms
      • Recursion types
      • Recursive data type
      • Subtyping
      • Type Class
      • Type Equivalence
      • Type Inference
      • Type rule
      • Type system
      • Variance
    • type-theories
      • Calculus of Constructions
      • Constructive type theory
      • ramified-type-theory
      • simple-type-theory
      • Substructural type systems
    • type-theory-general
      • Linear types
      • History of Type Theory
      • Type Theory
      • Overview
      • Type Theory
  • Abstract Algebra
    • 410-group-theory
      • Abelian group
    • algebras
      • Associative Algebra
      • Field
      • Group-like algebraic structures
      • group
      • Lattice
      • Magma
      • monoid
      • Overview of Algebras
      • Quasigroup
      • Rack and quandle
      • Ring
      • Semigroup
      • Algebra of sets
      • Setoid
    • boolean-algebra
      • Boolean algebra
      • Axioms in Boolean Algebra
      • Boolean algebra
      • Boolean Algebra Laws
      • Boolean Algebra Laws
      • Two-element Boolean algebra
      • Boolean algebra
      • Boolean domain
    • terms
      • Algebra
      • Axioms of abstract algebra
      • Algebraic notation for algebraic data types
      • Algebraic structure
      • Algebraic structure
      • Field of sets
      • Homomorphism
      • Isomorphism
      • Algebraic structures
      • Mathematical structure
      • Polynomials
      • Relation algebra
  • Category Theory
    • CT GLOSSARY
    • Category Theory: OUTLINE
    • CT SUMMARY
    • A First Introduction to Categories (2009)
      • Sets, maps, composition
      • 02-history
      • axioms-logic
      • Bijection of functions
      • Commutative diagram
      • Directed graph
      • CT prerequisites
      • String diagram
      • Transitive closure
    • Category Theory Fundamentals
      • Introduction
      • Interpretation
      • Fundamental concepts
      • Category theory
      • Category
      • Category Theory: Definitions
    • Key concepts
      • Duality
      • Functor
      • Homeset
      • Initial Object
      • Morphism
      • Natural transformation
      • Object
      • Terminal Object
    • Categorical constructions
      • Categorical constructions
      • Coproduct
      • Diagram
      • Product
      • Universal construction
    • Types of categories
      • Concrete category
      • Discrete category
      • Functor category
      • Groupoid
      • Hask
      • Kleisli category
      • Locally small category
      • Monoid
      • monoidal-categories.md
      • Index of named categories
      • Opposite category
      • Ordered category
      • Set category
      • Small category
      • Subcategory
    • Types of Functors
      • Adjoint functor
      • relation-arity
      • Endofunctor
      • Faithful functor
      • Forgetful functor
      • Hom functor
      • Identity functor
      • Inverse functor
      • Monad
      • Powerset functor
    • Types of Morphisms
      • Anamorphism
      • Automorphism
      • Catamorphism
      • Endomorphism
      • Epimorphism
      • Homomorphism
      • Hylomorphism
      • Idempotent morphism
      • Identity morphism
      • Inverse morphism
      • Isomorphism
      • Metamorphism
      • monomorphism
      • Natural isomorphism
      • Split morphism
    • 20-advanced-concepts
      • Coalgebra
      • (Co)Inductive types
      • Recursion Schemes
    • Category Theory
      • Category Theory: TERMS
      • Algebraic Data Types
      • Category Theory
      • Category
      • Coproduct
      • Function type
      • Functoriality
      • Initial Object
      • Limits and Colimits
      • Natural Transformation
      • 5. Products
      • Terminal Object
    • Category Theory :: Contents
      • CT :: Links
      • Category Theory :: Terms
      • Category :: Definition
      • F-Algebra
      • Functor
      • Initial object
      • Monoid
      • Natural Transformation
      • Number of morphisms
      • Terminal object
      • Transitive closure
      • Types of morphisms
      • Categories by cardinality
      • Types of functors
  • Number Theory
    • Invariance and Monovariance Principle
    • 615-arithmetic
      • Addition
      • Aliquot sum
      • Arithmetic function
      • Laws
      • Arithmetic operations
      • Index of arithmetic operations
      • Arithmetic operations
      • Arithmetic
      • Divisibility rules
      • Divisibility
      • division
      • Divisor Function
      • Divisor Summatory Function
      • Divisor
      • Euclidean division
      • Hyperoperations
      • hyperops
      • Modular arithmetic
      • Multiplication
      • Number Theory: primer in numbers
      • Percentage
      • Rules of Divisibility
      • Subtraction
    • The fundamental sets of numbers
      • Algebraic numbers
      • Complex numbers
      • Fractions
      • Fundamental number sets
      • Imaginary numbers
      • Integers
      • Irrational numbers
      • Natural number
      • Rational numbers
      • Real numbers
      • Transcendental numbers
      • Ulam's spiral
      • The whole numbers
    • COUNTING THEORY
      • Counting Theory
      • counting
      • Fundamental Counting Rules
    • 630-combinatorics
      • Combinatorics
      • Combinations
      • Combinatorics
      • Counting theory
      • Counting theory
      • Enumerative combinatorics
      • Partition
      • Pascals triangle
      • Permutations
      • Twelvefold way
    • Probability theory
      • Statistics › Probability theory: Glossary
      • Statistics › Probability theory › Topics
      • Statistics › Probability theory › Wiki Links
      • Conditional Probability
      • Distribution
      • Probability theory
      • Probability
    • Number theory
      • euclids-lemma
      • gcd-lcm
      • Induction
      • Infinity
      • Numbers and numerals with interesting properties
      • Lagrange's four-square theorem
      • Matrix
      • Matrix
      • List of Number Systems
      • Number Theory
      • Number Theory with Glenn Olsen
      • Number
      • Arithmetic
      • Numbers
      • numeral-prefixes
      • Numeral system
      • Numeral
      • Ordinal numbers
      • Parity
      • Peano axioms
      • Polynomial
      • Polynomial
      • Positional notation
      • Probability
      • Symbol
      • Well Ordering Principle
    • topics
      • Coprimality
      • Facorization of composite numbers
      • Fundamental Theorem of Arithmetic
      • Prime factorisation
      • Prime number
      • Prime numbers
  • Theory of computation
    • Theory of computation: Abbreviations
    • Theory of computation: CHRONOLOGICAL TOPICS
    • Theory of computation: GLOSSARY
    • Theory of Computation: HIERARCHY
    • Theory of computation: LINKS
    • Theory of computation: TERMS
    • Theory of computation: TOPICS
    • Theory of computation: WIKI
    • Theory of Computation
      • _toc-more
      • Theory of Computation
    • 610-automata-theory
      • Abstract machine
      • Automata Theory
      • Automaton
      • Edit distance
      • Finite-state Machine
      • Automata Theory: WIKI
    • Formal systems
      • Abstract interpretation
      • Alphabet
      • Binary combinatory logic
      • Chomsky hierarchy
      • Epsilon calculus
      • Formal language
      • Iota and Jot
      • Regular expression
      • Regular Language
      • SKI combinator calculus
    • 621-grammar
      • Backus-Naur Form (BNF)
      • Context-free grammar
      • Context-sensitive grammar
      • Extended Backus–Naur Form (EBNF)
      • Regular Language
      • Terminal and nonterminal symbols
    • 622-syntax
      • Syntax
    • 624-semantics
      • Axiomatic semantics
      • Denotational Semantics: Summary
      • Denotational Semantics
      • Denotational Semantics
      • Denotational semantics
      • Formal semantics
      • Operational semantics
      • Semantics in CS
      • Semantics
    • 630-computability-theory
      • Computability (recursion) theory: TERMS
      • Computability (recursion) theory: TOPICS
      • Effective Computability
      • Church Thesis
      • Church-Turing Thesis
      • Computability theory
      • Computability
      • Computable function
      • Entscheidungsproblem
      • Halting problem
      • Machine that always halts
      • McCarthy Formalism
      • Super-recursive algorithm
      • Recursion theory
    • 632-recursive-function-theory
      • Recursion Theory
      • Ackermann function
      • General recursive function
      • Minimization operator
      • Partial functions
      • Recursion Function Theory
      • Sudan function
    • 634-primitive-recursive-functions
      • Primitive Recursive Function
      • Initial functions
      • The list of primitive recursive functions
      • Primitive combination
      • Primitive composition
      • Primitive recursion
      • Successor function
    • 640-models-of-computation
      • Models of computation: Summaries
      • Model of computation
    • 680-complexity-theory
      • Algorithmic Complexity
      • Complexity Theory
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
    • Index of closures
    • List of mathematical entities
    • List of mathematical objects
    • Enumeration of mathematical structures
    • Math : Axioms as Formulae
    • 950-math-areas
      • Areas of mathematics
      • Areas of mathematics
    • 970-links
      • check
      • Math: Links
      • Math Debrief: Links
      • Math Primer: LINKS
      • Links
      • Math: LINKS: ncatlab
      • Math: LINKS
      • WIKI
      • WIKI
      • WIKI_ALL
      • Math: Wiki lists
      • Glossary of areas of mathematics
      • WIKI_collections
      • Mathematics for Computer Science
      • Mathematics Classification
      • math
      • Resources
      • Math on YouTubel Video Playlists
      • wiki resources
    • 980-hierarchy
      • HIERAR
      • Math: Hierarchy
      • Math HIERARCHY
      • classification
        • Mathematics
        • https://ncatlab.org/nlab/all_pages https://ncatlab.org/nlab/all_pages/reference https://ncatlab.org/
        • Math Classification and Topical Pages
        • Areas of mathematics
        • Areas of mathematics
        • Math Classification: CCS
        • Math hierarchy
        • Computational mathematics
        • Taxonomy: Mathematics
        • Areas of mathematics
        • Mathematics Subject Classification
        • Math fields
        • math-topics
        • Mathematics Subject Classification – MSC
        • MSC Classification Codes
        • mss-top-levels-filenames
        • MSC classification: Top Levels
        • Math classification
    • 990-appendix
      • Math glossary at ENCYCLOPÆDIA BRITANNICA
      • Bibliography
      • Math: Abbreviations
      • math.GLOSSARY
    • Math : Canon
      • Main branches of mathematics
      • Enumeration: Math paradigms
      • enum-math-symbols
      • List of mathematical theories
      • enum-algebras
        • Group-like algebraic structures
        • Group
        • Groupoid
        • magma
        • Monoid
        • Semigroup
      • enum-axioms-indices
        • 03-variants
        • axioms-relations
        • disjoint-sets
        • ordered-pair
      • enum-axioms
        • Axiom of Extensionality
        • Axioms
          • List of Axioms
          • List of Axioms
          • LINKS
          • Index of axioms
          • Index of axioms
          • List of Axioms
          • List of Axioms in Relations
          • _laws
          • Index of axioms
          • Index of properties
          • Axioms in Boolean Algebra
          • Axioms for the Real Numbers and Integers
          • Axioms for the Real Numbers and Integers
          • ZF Axioms
          • ZFC Axioms
          • Axioms in logic
          • Axioms in set theory
          • List of axioms in set theory
        • Axioms
          • Absorption
          • Annihilation
          • Associativity
          • Cancellation
          • Closure
          • Commutativity
          • Complement laws
          • Distributivity
          • Domination
          • Idempotency
          • identity
          • Invertibility
          • involution
          • Linearity
          • Monotonicity
          • Well-definedness
          • Well-formedness
          • Well-foundedness
          • Well-ordering
      • enum-inference-rules
        • Enumeration: Rules of Inference
        • Enumeration: Rules of Inference for Intuitionistic Natural Deduction
      • Math › Logic formulae
        • Logic formulas concerning functions
        • Logic formulas concerning orders
        • Logic formulas concerning relations
        • Logic formulas concerning sets
      • enum-logic-system-elements
        • Conjecture
      • enum-logic-system-properties
        • Completeness
        • Consistency
        • Decidability
      • enum-topical-hierarchies
        • Outline of category theory
    • Mathematical Lists and Indices
      • Index of algebraic structures
      • Math equations and formulas
      • The fundamental number sets
      • index-of-math-elements
      • Arity
      • List of binary relations
      • Pretty formulae
      • Index of integer sequences
      • List of conjectures
      • Mathematical objects
      • Theorems
      • List of mathematical theories
      • list-of-unsolved-problems
      • Lists of problems in math
      • People
      • list-of-quotes-and-phrases
    • Mathematical elements
      • Mathematical (elements): PAGES
      • Mathematical abstraction
      • Mathematical analysis
      • Mathematical argumentation
      • Mathematical axiom
      • Mathematical concept
      • Mathematical constant
      • Mathematical deduction
      • Mathematical definition
      • Mathematical element
      • Mathematical expression
      • Mathematical formula
      • Mathematical method
      • Mathematical model
      • Mathematical notation
      • Mathematical object
      • Mathematical primitive
      • Mathematical reasoning
      • Mathematical statement
      • Mathematical structure
      • Mathematical symbol
      • Mathematical synthesis
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
    • 810-statistics
      • STATISTICS: HIERARCHY
      • STATISTICS: TERMS
      • Statistics › Topics
      • Statistics WIKI LINKS
      • Mathematical Concepts
      • Linear Regression
    • 888-calculus
      • Calculus
      • Math › Calculus › TERMS
Powered by GitBook
On this page
  • Abraham bar Hiyya
  • Abraham de Moivre
  • Abū al-Wafāʾ
  • Ada Lovelace
  • Adi Shamir
  • Adolphe Quetelet
  • Adrien-Marie Legendre
  • Ahn Cheol-Soo
  • Al-Battānī
  • Al-Karajī
  • Al-Khwārizmī
  • Al-Kāshī
  • Alain Connes
  • Alan Baker
  • Alan Jay Perlis
  • Alan Kay
  • Alan Turing
  • Aleksandr Aleksandrovich Friedmann
  • Aleksandr Osipovich Gelfond
  • Alexandre Grothendieck
  • Alfred North Whitehead
  • Alfred Tarski
  • Allen Newell
  • Alonzo Church
  • Amedeo Avogadro
  • American Philosophical Society
  • Amir Pnueli
  • Andrei Okounkov
  • Andrew Chi-Chih Yao
  • Andrew Russell Forsyth
  • Andrew Wiles
  • Andrey Andreyevich Markov
  • Andrey Nikolayevich Kolmogorov
  • André Weil
  • Anita Borg
  • Antoine-Augustin Cournot
  • Antoni Zygmund
  • Apollonius of Perga
  • Apse
  • Archimedes
  • Archytas of Tarentum
  • Argand diagram
  • Arithmetic
  • Arithmetic function
  • Arithmometer
  • Arthur Cayley
  • Arthur Eddington
  • Arthur Edwin Kennelly
  • Aryabhata
  • Associative law
  • Asymptote
  • Athanasius Kircher
  • Atle Selberg
  • August Ferdinand Möbius
  • August Leopold Crelle
  • Augustin-Louis Cauchy
  • Augustus De Morgan
  • Augustus Edward Hough Love
  • Austausch coefficient
  • Automata theory
  • Automorphism
  • Avraham Trahtman
  • Axiom
  • Axiom of choice
  • Baha ad-din Muhammad ibn Husayn al-Amilī
  • Barbara Jane Liskov
  • Bartlett's test
  • Base
  • Bayes's theorem
  • Bayesian analysis
  • Beal's conjecture
  • Benjamin Banneker
  • Benjamin Peirce
  • Benjamin Robins
  • Benoit Mandelbrot
  • Bernhard Bolzano
  • Bernhard Riemann
  • Bernoulli family
  • Bertrand Russell
  • Bessel function
  • Bhaskara I
  • Bhāskara II

Was this helpful?

  1. debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  2. 990-appendix

Math glossary at ENCYCLOPÆDIA BRITANNICA

Previous990-appendixNextBibliography

Last updated 3 years ago

Was this helpful?

https://www.britannica.com/browse/Mathematics/1

Abraham bar Hiyya

Abraham bar Hiyya, Spanish Jewish philosopher, astronomer, astrologer, and mathematician whose writings were among the first scientific and philosophical works to be written in Hebrew. He is sometimes known as Savasorda, a corruption of an Arabic term indicating that he held some civic office.

Abraham de Moivre

Abraham de Moivre, French mathematician who was a pioneer in the development of analytic trigonometry and in the theory of probability. A French Huguenot, de Moivre was jailed as a Protestant upon the revocation of the Edict of Nantes in 1685. When he was released shortly thereafter, he fled to...

Abū al-Wafāʾ

Abū al-Wafāʾ, a distinguished Muslim astronomer and mathematician, who made important contributions to the development of trigonometry. Abū al-Wafāʾ worked in a private observatory in Baghdad, where he made observations to determine, among other astronomical parameters, the obliquity of the...

Ada Lovelace

Ada Lovelace, English mathematician, an associate of Charles Babbage, for whose prototype of a digital computer she created a program. She has been called the first computer programmer. Lovelace was the daughter of famed poet Lord Byron and Annabella Milbanke Byron, who legally separated two months...

Adi Shamir

Adi Shamir, Israeli cryptographer and computer scientist and cowinner, with American computer scientists Leonard M. Adleman and Ronald L. Rivest, of the 2002 A.M. Turing Award, the highest honour in computer science, for their "ingenious contribution for making public-key cryptography useful in...

Adolphe Quetelet

Adolphe Quetelet, Belgian mathematician, astronomer, statistician, and sociologist known for his application of statistics and probability theory to social phenomena. From 1819 Quetelet lectured at the Brussels Athenaeum, military college, and museum. In 1823 he went to Paris to study astronomy,...

Adrien-Marie Legendre

Adrien-Marie Legendre, French mathematician whose distinguished work on elliptic integrals provided basic analytic tools for mathematical physics. Little is known about Legendre's early life except that his family wealth allowed him to study physics and mathematics, beginning in 1770, at the...

Ahn Cheol-Soo

Ahn Cheol-Soo, physician, educator, politician, and computer entrepreneur who founded AhnLab, Inc., South Korea's largest Internet security firm. He later entered politics, establishing the People's Party (later reformed as Bareunmirae) and staging several unsuccessful bids for the presidency. Ahn,...

Al-Battānī

Al-Battānī, Arab astronomer and mathematician who refined existing values for the length of the year and of the seasons, for the annual precession of the equinoxes, and for the inclination of the ecliptic. He showed that the position of the Sun's apogee, or farthest point from the Earth, is...

Al-Karajī

Al-Karajī, mathematician and engineer who held an official position in Baghdad (c. 1010–1015), perhaps culminating in the position of vizier, during which time he wrote his three main works, al-Fakhrī fīʾl-jabr wa'l-muqābala ("Glorious on algebra"), al-Badī' fī'l-hisāb ("Wonderful on calculation"),...

Al-Khwārizmī

Al-Khwārizmī, Muslim mathematician and astronomer whose major works introduced Hindu-Arabic numerals and the concepts of algebra into European mathematics. Latinized versions of his name and of his most famous book title live on in the terms algorithm and algebra. Al-Khwārizmī lived in Baghdad,...

Al-Kāshī

Al-Kāshī, ranks among the greatest mathematicians and astronomers in the Islamic world. The first event known with certainty in al-Kāshī's life is his observation of a lunar eclipse on June 2, 1406, from Kāshān. His earliest surviving work is Sullam al-samāʾ (1407; "The Stairway of Heaven"), an...

Alain Connes

Alain Connes, French mathematician who won the Fields Medal in 1982 for his work in operator theory. Connes received a bachelor's degree (1970) and a doctorate (1973) from the École Normale Supérieure (now part of the University of Paris). He held appointments at the National Centre for Scientific...

Alan Baker

Alan Baker, British mathematician who was awarded the Fields Medal in 1970 for his work in number theory. Baker attended University College, London (B.S., 1961), and Trinity College, Cambridge (M.A. and Ph.D., 1964). He held an appointment at University College (1964–65) and then joined the faculty...

Alan Jay Perlis

Alan Jay Perlis, American mathematician and computer scientist. He was the first winner, in 1966, of the A.M. Turing Award, given by the Association of Computing Machinery (ACM) and recognized internationally as the highest honour in computer science. In particular, Perlis was cited for "his...

Alan Kay

Alan Kay, American computer scientist and winner of the 2003 A.M. Turing Award, the highest honour in computer science, for his contributions to object-oriented programming languages, including Smalltalk. Kay received a doctorate in computer science from the University of Utah in 1969. In 1972 he...

Alan Turing

Alan Turing, British mathematician and logician, who made major contributions to mathematics, cryptanalysis, logic, philosophy, and mathematical biology and also to the new areas later named computer science, cognitive science, artificial intelligence, and artificial life. The son of a civil...

Aleksandr Aleksandrovich Friedmann

Aleksandr Aleksandrovich Friedmann, Russian mathematician and physical scientist. After graduating from the University of St. Petersburg in 1910, Friedmann joined the Pavlovsk Aerological Observatory and, during World War I, did aerological work for the Russian army. After the war he was on the...

Aleksandr Osipovich Gelfond

Aleksandr Osipovich Gelfond, Russian mathematician who originated basic techniques in the study of transcendental numbers (numbers that cannot be expressed as the root or solution of an algebraic equation with rational coefficients). He profoundly advanced transcendental number theory and the...

Alexandre Grothendieck

Alexandre Grothendieck, German French mathematician who was awarded the Fields Medal in 1966 for his work in algebraic geometry. After studies at the University of Montpellier (France) and a year at the École Normale Supérieure in Paris, Grothendieck received his doctorate from the University of...

Alfred North Whitehead

Alfred North Whitehead, English mathematician and philosopher who collaborated with Bertrand Russell on Principia Mathematica (1910–13) and, from the mid-1920s, taught at Harvard University and developed a comprehensive metaphysical theory. Whitehead's grandfather Thomas Whitehead was a self-made...

Alfred Tarski

Alfred Tarski, Polish-born American mathematician and logician who made important studies of general algebra, measure theory, mathematical logic, set theory, and metamathematics. Tarski completed his education at the University of Warsaw (Ph.D., 1923). He taught in Warsaw until 1939, when he moved...

Allen Newell

Allen Newell, American computer scientist and one of the pioneers of the science of artificial intelligence (AI). Newell and his longtime collaborator Herbert A. Simon won the 1975 A.M. Turing Award, the highest honour in computer science, for their "basic contributions to artificial intelligence,...

Alonzo Church

Alonzo Church, U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science. The rule known as Church's theorem or Church's thesis (proposed independently by Alan M...

Amedeo Avogadro

Amedeo Avogadro, Italian mathematical physicist who showed in what became known as Avogadro's law that, under controlled conditions of temperature and pressure, equal volumes of gases contain an equal number of molecules. Avogadro was the son of Filippo Avogadro, conte di Quaregna e Cerreto, a...

American Philosophical Society

American Philosophical Society, oldest extant learned society in the United States, founded under the impetus of Benjamin Franklin in 1743. At the beginning of the 21st century, it had more than 850 members, elected for their scholarly and scientific accomplishments in any of five areas—the...

Amir Pnueli

Amir Pnueli, Israeli computer scientist and winner of the 1996 A.M. Turing Award, the highest honour in computer science, for "seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification." Pnueli received a bachelor's degree in...

Andrei Okounkov

Andrei Okounkov, Russian mathematician awarded a Fields Medal in 2006 "for his contributions bridging probability, representation theory and algebraic geometry." Okounkov received a doctorate in mathematics from Moscow State University (1995) and held positions at the Russian Academy of Sciences,...

Andrew Chi-Chih Yao

Andrew Chi-Chih Yao, Chinese American computer scientist and winner of the 2000 A.M. Turing Award, the highest honour in computer science, for his "fundamental contributions to the theory of computation [computational complexity], including the complexity-based theory of pseudorandom number...

Andrew Russell Forsyth

Andrew Russell Forsyth, British mathematician, best known for his mathematical textbooks. In 1877 Forsyth entered Trinity College, Cambridge, where he studied mathematics under Arthur Cayley. Forsyth graduated in 1881 as first wrangler (first place in the annual Mathematical Tripos contest) and was...

Andrew Wiles

Andrew Wiles, British mathematician who proved Fermat's last theorem. In recognition he was awarded a special silver plaque—he was beyond the traditional age limit of 40 years for receiving the gold Fields Medal—by the International Mathematical Union in 1998. He also received the Wolf Prize...

Andrey Andreyevich Markov

Andrey Andreyevich Markov, Russian mathematician who helped to develop the theory of stochastic processes, especially those called Markov chains. Based on the study of the probability of mutually dependent events, his work has been developed and widely applied in the biological and social sciences...

Andrey Nikolayevich Kolmogorov

Andrey Nikolayevich Kolmogorov, Russian mathematician whose work influenced many branches of modern mathematics, especially harmonic analysis, probability, set theory, information theory, and number theory. A man of broad culture, with interests in technology, history, and education, he played an...

André Weil

André Weil, French mathematician who was one of the most influential figures in mathematics during the 20th century, particularly in number theory and algebraic geometry. André was the brother of the philosopher and mystic Simone Weil. He studied at the École Normale Supérieure (now part of the...

Anita Borg

Anita Borg, American computer scientist who advocated for women's advancement in technology. Borg attended the University of Washington in Seattle for two years. She later studied at New York University, where she received a doctorate (1981) for her work on synchronization efficiency in operating...

Antoine-Augustin Cournot

Antoine-Augustin Cournot, French economist and mathematician. Cournot was the first economist who, with competent knowledge of both subjects, endeavoured to apply mathematics to the treatment of economics. His main work in economics is Recherches sur les principes mathématiques de la théorie des...

Antoni Zygmund

Antoni Zygmund, Polish-born mathematician who exerted a major influence on 20th-century mathematics, particularly in harmonic analysis, a field utilized in science and technology for the formulation of descriptions of periodic phenomena such as waves, vibrations, and regularly repeating structures...

Apollonius of Perga

Apollonius of Perga, mathematician, known by his contemporaries as "the Great Geometer," whose treatise Conics is one of the greatest scientific works from the ancient world. Most of his other treatises are now lost, although their titles and a general indication of their contents were passed on by...

Apse

Apse, in astronomy, either of the two points on an elliptical orbit that are nearest to, and farthest from, the focus, or centre of attraction. The line of apsides, connecting the two points, is the major axis of the orbit. The point nearest the focus is the pericentre, or periapsis, and that...

Archimedes

Archimedes, the most-famous mathematician and inventor in ancient Greece. Archimedes is especially important for his discovery of the relation between the surface and volume of a sphere and its circumscribing cylinder. He is known for his formulation of a hydrostatic principle (known as Archimedes'...

Archytas of Tarentum

Archytas of Tarentum, Greek scientist, philosopher, and major Pythagorean mathematician. Plato, a close friend, made use of his work in mathematics, and there is evidence that Euclid borrowed from him for the treatment of number theory in Book VIII of his Elements. Archytas was also an influential...

Argand diagram

Argand diagram, graphic portrayal of complex numbers, those of the form x + yi, in which x and y are real numbers and i is the square root of −1. It was devised by the Swiss mathematician Jean Robert Argand about 1806. A similar representation had been proposed by the Danish surveyor Caspar Wessel...

Arithmetic

Arithmetic, branch of mathematics in which numbers, relations among numbers, and observations on numbers are studied and used to solve problems. Arithmetic (a term derived from the Greek word arithmos, "number") refers generally to the elementary aspects of the theory of numbers, arts of...

Arithmetic function

Arithmetic function, any mathematical function defined for integers (…, −3, −2, −1, 0, 1, 2, 3, …) and dependent upon those properties of the integer itself as a number, in contrast to functions that are defined for other values (real numbers, complex numbers, or even other functions) and that...

Arithmometer

Arithmometer, early calculating machine, built in 1820 by Charles Xavier Thomas de Colmar of France. Whereas earlier calculating machines, such as Blaise Pascal's Pascaline in France and Gottfried Wilhelm von Leibniz's Step Reckoner in Germany, were mere curiosities, with the Industrial Revolution...

Arthur Cayley

Arthur Cayley, English mathematician and leader of the British school of pure mathematics that emerged in the 19th century. The interested viewer may read an extract from the geometry article he wrote for the 9th edition of the Encyclopædia Britannica (1875–89). Although Cayley was born in England,...

Arthur Eddington

Arthur Eddington, English astronomer, physicist, and mathematician who did his greatest work in astrophysics, investigating the motion, internal structure, and evolution of stars. He also was the first expositor of the theory of relativity in the English language. Eddington was the son of the...

Arthur Edwin Kennelly

Arthur Edwin Kennelly, U.S. electrical engineer who made innovations in analytic methods in electronics, particularly the definitive application of complex-number theory to alternating-current (ac) circuits. After working as an office boy for a London engineering society, as an electrician, and on...

Aryabhata

Aryabhata, astronomer and the earliest Indian mathematician whose work and history are available to modern scholars. He is also known as Aryabhata I or Aryabhata the Elder to distinguish him from a 10th-century Indian mathematician of the same name. He flourished in Kusumapura—near Patalipurta...

Associative law

Associative law, in mathematics, either of two laws relating to number operations of addition and multiplication, stated symbolically: a + (b + c) = (a + b) + c, and a(bc) = (ab)c; that is, the terms or factors may be associated in any way desired. While associativity holds for ordinary arithmetic...

Asymptote

Asymptote, In mathematics, a line or curve that acts as the limit of another line or curve. For example, a descending curve that approaches but does not reach the horizontal axis is said to be asymptotic to that axis, which is the asymptote of the...

Athanasius Kircher

Athanasius Kircher, Jesuit priest and scholar, sometimes called the last Renaissance man, important for his prodigious activity in disseminating knowledge. Kircher learned Greek and Hebrew at the Jesuit school in Fulda, pursued scientific and humanistic studies at Paderborn, Cologne, and Koblenz,...

Atle Selberg

Atle Selberg, Norwegian-born American mathematician who was awarded the Fields Medal in 1950 for his work in number theory. In 1986 he shared (with Samuel Eilenberg) the Wolf Prize. Selberg attended the University of Oslo (Ph.D., 1943) and remained there as a research fellow until 1947. He then...

August Ferdinand Möbius

August Ferdinand Möbius, German mathematician and theoretical astronomer who is best known for his work in analytic geometry and in topology. In the latter field he is especially remembered as one of the discoverers of the Möbius strip. Möbius entered the University of Leipzig in 1809 and soon...

August Leopold Crelle

August Leopold Crelle, German mathematician and engineer who advanced the work and careers of many young mathematicians of his day and founded the Journal für die reine und angewandte Mathematik ("Journal for Pure and Applied Mathematics"), now known as Crelle's Journal. A civil engineer in the...

Augustin-Louis Cauchy

Augustin-Louis Cauchy, French mathematician who pioneered in analysis and the theory of substitution groups (groups whose elements are ordered sequences of a set of things). He was one of the greatest of modern mathematicians. At the onset of the Reign of Terror (1793–94) during the French...

Augustus De Morgan

Augustus De Morgan, English mathematician and logician whose major contributions to the study of logic include the formulation of De Morgan's laws and work leading to the development of the theory of relations and the rise of modern symbolic, or mathematical, logic. De Morgan was educated at...

Augustus Edward Hough Love

Augustus Edward Hough Love, British geophysicist and mathematician who discovered a major type of seismic wave that was subsequently named for him. Love held the Sedleian professorship of natural philosophy at the University of Oxford from 1899 to 1940. In his analysis of earthquake waves, Love...

Austausch coefficient

Austausch coefficient, in fluid mechanics, particularly in its applications to meteorology and oceanography, the proportionality between the rate of transport of a component of a turbulent fluid and the rate of change of density of the component. In this context, the term component signifies not...

Automata theory

Automata theory, body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information from one form into another according to a definite procedure. Real or hypothetical automata of varying complexity have become indispensable...

Automorphism

Automorphism, in mathematics, a correspondence that associates to every element in a set a unique element of the set (perhaps itself) and for which there is a companion correspondence, known as its inverse, such that one followed by the other produces the identity correspondence (i); i.e., the...

Avraham Trahtman

Avraham Trahtman, Russian-born Israeli mathematician who solved the road-colouring problem (a variant of the traveling salesman problem). Trahtman earned an undergraduate degree (1967) and a graduate degree (1973) in mathematics from Ural State University, in Sverdlovsk (now Yekaterinburg, Russia)...

Axiom

Axiom, in logic, an indemonstrable first principle, rule, or maxim, that has found general acceptance or is thought worthy of common acceptance whether by virtue of a claim to intrinsic merit or on the basis of an appeal to self-evidence. An example would be: "Nothing can both be and not be at the ...

Axiom of choice

Axiom of choice, statement in the language of set theory that makes it possible to form sets by choosing an element simultaneously from each member of an infinite collection of sets even when no algorithm exists for the selection. The axiom of choice has many mathematically equivalent formulations,...

Baha ad-din Muhammad ibn Husayn al-Amilī

Bahāʾ ad-dīn Muḥammad ibn Ḥusayn al-ʿĀmilī, theologian, mathematician, jurist, and astronomer who was a major figure in the cultural revival of Ṣafavid Iran. Al-ʿĀmilī was educated by his father, Shaykh Ḥusayn, a Shīʿite theologian, and by excellent teachers of mathematics and medicine. After his...

Barbara Jane Liskov

Barbara Jane Liskov, American winner of the 2008 A.M. Turing Award, the highest honour in computer science, for her "pioneering work in the design of computer programming languages." After she earned a bachelor's degree in mathematics in 1961 from the University of California, Berkeley, Liskov...

Bartlett's test

Bartlett's test, in statistics, a test to ascertain if multiple samples have the same variance (the square of the sample's standard deviation). The test, which is a standard tool in analysis of variance (ANOVA) computer programs, can be used when a single measurable variable is involved, such as...

Base

Base, in mathematics, an arbitrarily chosen whole number greater than 1 in terms of which any number can be expressed as a sum of that base raised to various powers. See numerals and numeral...

Bayes's theorem

Bayes's theorem, in probability theory, a means for revising predictions in light of relevant evidence, also known as conditional probability or inverse probability. The theorem was discovered among the papers of the English Presbyterian minister and mathematician Thomas Bayes and published...

Bayesian analysis

Bayesian analysis, a method of statistical inference (named for English mathematician Thomas Bayes) that allows one to combine prior information about a population parameter with evidence from information contained in a sample to guide the statistical inference process. A prior probability...

Beal's conjecture

Beal's conjecture, in number theory, a generalization of Fermat's last theorem. Fermat's last theorem, which was proposed in 1637 by the French mathematician Pierre de Fermat and proved in 1995 by the English mathematician Andrew Wiles, states that for positive integers x, y, z, and n, xn + yn = zn...

Benjamin Banneker

Benjamin Banneker, mathematician, astronomer, compiler of almanacs, inventor, and writer, one of the first important African American intellectuals. Banneker, a freeman, was raised on a farm near Baltimore that he would eventually inherit from his father. Although he periodically attended a...

Benjamin Peirce

Benjamin Peirce, American mathematician, astronomer, and educator who computed the general perturbations of the planets Uranus and Neptune. Peirce graduated from Harvard University in 1829 and accepted a teaching position with George Bancroft at his Round Hill School in Northampton, Massachusetts...

Benjamin Robins

Benjamin Robins, British mathematician and military engineer who laid the groundwork for modern ordnance (field-artillery) theory and practice with his New Principles of Gunnery (1742), which invalidated old suppositions about the nature and action of gunpowder and the flight of projectiles and...

Benoit Mandelbrot

Benoit Mandelbrot, Polish-born French American mathematician universally known as the father of fractals. Fractals have been employed to describe diverse behaviour in economics, finance, the stock market, astronomy, and computer science. Mandelbrot was educated at the École Polytechnique (1945–47)...

Bernhard Bolzano

Bernhard Bolzano, Bohemian mathematician and theologian who provided a more detailed proof for the binomial theorem in 1816 and suggested the means of distinguishing between finite and infinite classes. Bolzano graduated from the University of Prague as an ordained priest in 1805 and was...

Bernhard Riemann

Bernhard Riemann, German mathematician whose profound and novel approaches to the study of geometry laid the mathematical foundation for Albert Einstein's theory of relativity. He also made important contributions to the theory of functions, complex analysis, and number theory. Riemann was born...

Bernoulli family

Bernoulli family, Two generations of distinguished Swiss mathematicians. Jakob (1655–1705) and Johann (1667–1748) were the sons of a pharmacist who wanted one boy to study theology and the other medicine. Over his objections, both pursued careers in mathematics, making important discoveries in...

Bertrand Russell

Bertrand Russell, British philosopher, logician, and social reformer, founding figure in the analytic movement in Anglo-American philosophy, and recipient of the Nobel Prize for Literature in 1950. Russell's contributions to logic, epistemology, and the philosophy of mathematics established him as...

Bessel function

Bessel function, any of a set of mathematical functions systematically derived around 1817 by the German astronomer Friedrich Wilhelm Bessel during an investigation of solutions of one of Kepler's equations of planetary motion. Particular functions of the set had been formulated earlier by the ...

Bhaskara I

Bhaskara I, Indian astronomer and mathematician who helped to disseminate the mathematical work of Aryabhata (born 476). Little is known about the life of Bhaskara; I is appended to his name to distinguish him from a 12th-century Indian astronomer of the same name. In his writings there are clues...

Bhāskara II

Bhāskara II, the leading mathematician of the 12th century, who wrote the first work with full and systematic use of the decimal number system. Bhāskara II was the lineal successor of the noted Indian mathematician Brahmagupta (598–c. 665) as head of an astronomical observatory at Ujjain, the...

Abraham bar Hiyya
Abraham de Moivre
Abū al-Wafāʾ
Ada Lovelace
Adi Shamir
Adolphe Quetelet
Adrien-Marie Legendre
Ahn Cheol-Soo
Al-Battānī
Al-Karajī
Al-Khwārizmī
Al-Kāshī
Alain Connes
Alan Baker
Alan Jay Perlis
Alan Kay
Alan Turing
Albedo
Aleksandr Aleksandrovich Friedmann
Aleksandr Osipovich Gelfond
Alexandre Grothendieck
Alfred North Whitehead
Alfred Tarski
Algebra
Algebraic equation
Algebraic geometry
Algebraic number
Algebraic surface
Algebraic topology
Algorithm
Allen Newell
Alonzo Church
Amedeo Avogadro
American Philosophical Society
Amir Pnueli
Analysis
Analysis of algorithms
Analytic geometry
Analytical Engine
Andrei Okounkov
Andrew Chi-Chih Yao
Andrew Russell Forsyth
Andrew Wiles
Andrey Andreyevich Markov
Andrey Nikolayevich Kolmogorov
André Weil
Anita Borg
Antoine-Augustin Cournot
Antoni Zygmund
Apollonius of Perga
Apse
Archimedes
Archytas of Tarentum
Argand diagram
Arithmetic
Arithmetic function
Arithmometer
Arthur Cayley
Arthur Eddington
Arthur Edwin Kennelly
Aryabhata
Associative law
Asymptote
Athanasius Kircher
Atle Selberg
August Ferdinand Möbius
August Leopold Crelle
Augustin-Louis Cauchy
Augustus De Morgan
Augustus Edward Hough Love
Austausch coefficient
Automata theory
Automorphism
Avraham Trahtman
Axiom
Axiom of choice
Baha ad-din Muhammad ibn Husayn al-Amilī
Barbara Jane Liskov
Bartlett's test
Base
Bayes's theorem
Bayesian analysis
Beal's conjecture
Benjamin Banneker
Benjamin Peirce
Benjamin Robins
Benoit Mandelbrot
Bernhard Bolzano
Bernhard Riemann
Bernoulli family
Bertrand Russell
Bessel function
Bhaskara I
Bhāskara II